No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23061-23076 |
cousin Humano and Humano Woman Man grandmother Humano and Woman grandfather Humano and Man grandmother Humano and Woman grandfather Humano and Man Organismo Organismo Organismo e' a mae de Humano Organismo e' o pai de Humano Organismo e' a mae de Humano Organismo e' o pai de Humano |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23152-23159 |
stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23169-23176 |
stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10336-10343 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16487-16491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23021-23025 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16386-16394 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 666-672 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 654-660 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 606-612 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 714-720 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 630-636 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 702-708 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23083-23088 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 760-766 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20164-20171 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 584-589 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 562-567 |
|