top of page
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Block 3: Grouping of knowledge (without relation)
Definition 7:
“{proper noun 1} has {positive number 1} {singular or plural noun}”
and
“{proper noun 2} has {positive number 2} {singular or plural noun}”
equals to
“{proper noun 1} and {proper noun 2} have {positive number 1 + positive number 2} {plural noun} together”
Example:
Variables:
-
proper noun 1 = “John”,
-
proper noun 2 = “Peter”,
-
positive number 1 = 3,
-
positive number 2 = 4”,
-
singular/plural noun = “apple”/“apples”
Given:
-
“John has 3 apples.”
-
“Peter has 4 apples.”
Generated conclusion:
-
“John and Peter have 7 apples together.”
Note that Definition 7 does not accept different head nouns, as in:
-
“John has 3 apples.”
-
“Peter has 4 pears.”
Definition 8:
“{proper noun 1} is a/an {singular noun}”
and
“{proper noun 2} is a/an {singular noun}”
equals to
“{proper noun 1} and {proper noun 2} are [plural noun of {singular noun}]”
An example of the definition above is demonstrated in Block 4: Grouping of knowledge (with relation).
Menu
-
Block 3: Grouping of knowledge (without relation)
-
Block 6: Detection of a conflict and generation of a question
bottom of page