Follow project on Twitter
NederlandsEnglish

Block 2: Indirect conversions

The algebra of language listed below, applies structure words: “is”, “are”, “has”, “and”, “every” and “part of”.


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
from which can be concluded
“{indefinite article + singular noun 2} and {indefinite article + singular noun 3} are part of every {singular noun 1}”


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
and
“{proper noun} is {indefinite article + singular noun 2 or 3}”
from which can be concluded
“{proper noun} is part of {indefinite article + singular noun 1}”


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
and
“{proper noun} is {indefinite article + singular noun 2}”
from which can be assumed
“{proper noun} has probably {indefinite article + singular noun 3}”


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
and
“{proper noun} is {indefinite article + singular noun 3}”
from which can be assumed
“{proper noun} has probably {indefinite article + singular noun 2}”


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
and
“{proper noun} has {indefinite article + singular noun 2 or 3}”
from which can be assumed
“{proper noun} is probably part of {indefinite article + singular noun 1}”


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
and
“{proper noun} has {indefinite article + singular noun 2}”
from which can be assumed
“{proper noun} is probably {indefinite article + singular noun 3}”


Every {singular noun 1} has {indefinite article + singular noun 2} and {indefinite article + singular noun 3}”
and
“{proper noun} has {indefinite article + singular noun 3}”
from which can be assumed
“{proper noun} is probably {indefinite article + singular noun 2}”


Implementation:
> Given: “Every family has a parent and a child.

• Generated conclusion:
< “A parent and a child are part of every family.
>
> Given: “Michael is a parent.

• Generated conclusion:
< “Michael is part of a family.

• Generated assumption:
< “Michael has probably a child.
>
> Given: “Adam is a child.

• Generated conclusion:
< “Adam is part of a family.

• Generated assumption:
< “Adam has probably a parent.
>
> Given: “Peter has a parent.

• Generated assumptions:
< “Peter is probably a child.
< “Peter is probably part of a family.
>
> Given: “Ronald has a child.

• Generated assumptions:
< “Ronald is probably a parent.
< “Ronald is probably part of a family.