No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23060-23075 |
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 23151-23158 |
人 是 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 23168-23175 |
女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10358-10365 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16509-16513 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23020-23024 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16408-16416 |
|
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 23082-23087 |
|
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 20163-20170 |
|
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 |
|