No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24759-24761 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24756-24756 |
The number 1 argument of post city is an instance of postal place |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24757-24757 |
The number 2 argument of post city is an instance of city |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24754-24754 |
post city is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24755-24755 |
post city is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24758-24758 |
post city is a subrelation of located |