No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23060-23075 |
cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23151-23158 |
stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23168-23175 |
stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain |
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 16515-16519 |
|
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. |
Mid-level-ontology.kif 23094-23099 |
|
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 20163-20170 |
|
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 |
|