No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24827-24832 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24825-24825 |
域 postStreetNumber, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24826-24826 |
域 postStreetNumber, 2 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24823-24823 |
例 postStreetNumber and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24824-24824 |
例 postStreetNumber and BinaryPredicate |