No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23046-23051 |
A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human |
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. |
ArabicCulture.kif 595-600 |
|
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 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 584-589 |
|