No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24914-24922 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24912-24912 |
域 telecomAreaCode, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24913-24913 |
域 telecomAreaCode, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24911-24911 |
例 telecomAreaCode and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24910-24910 |
例 telecomAreaCode and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24923-24923 |
子關係 telecomAreaCode and subString |