No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23109-23114 |
人 是 人类 的 nephew 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 人 是 那个 生物 的 son |
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 |
|