No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23061-23076 |
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 23152-23159 |
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 23169-23176 |
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 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 |
|