No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23061-23076 |
Human Human 是 cousins 女人 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Organism Organism 母親 Human and Organism 父親 Human and Organism 母親 Human and Organism 父親 Human and Organism |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23152-23159 |
人 是 Human 的 stepfather Human 母親 Human and Human 人 是 Human 的 spouse 父親 Human and 人 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23169-23176 |
女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
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 16493-16497 |
|
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. |
Mid-level-ontology.kif 23095-23100 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 774-780 |
|
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 595-600 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 573-578 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 690-696 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 678-684 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 618-624 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 738-744 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 642-648 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 726-732 |
|