No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25000-25004 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24997-24997 |
域 personalPhoneNumber, 1 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24998-24998 |
域 personalPhoneNumber, 2 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24996-24996 |
例 personalPhoneNumber and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24995-24995 |
例 personalPhoneNumber and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24999-24999 |
子關係 personalPhoneNumber and 電話號碼 |