No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24940-24945 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24938-24938 |
域 telecomExtension, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24939-24939 |
域 telecomExtension, 2 and TelecomNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24937-24937 |
例 telecomExtension and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24936-24936 |
例 telecomExtension and BinaryPredicate |