No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14732-14733 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14736-14736 |
域 中間名字, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14737-14737 |
域 中間名字, 2 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14735-14735 |
例 中間名字 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14734-14734 |
例 中間名字 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14738-14738 |
子關係 中間名字 and 名 |