No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23109-23114 |
A man is the nephew of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23027-23031 |
|
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 702-708 |
|
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 726-732 |
|