No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25051-25055 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25048-25048 |
域 workPhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25049-25049 |
域 workPhoneNumber, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25047-25047 |
例 workPhoneNumber and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25046-25046 |
例 workPhoneNumber and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25050-25050 |
子關係 workPhoneNumber and 電話號碼 |