No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24742-24744 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24739-24739 |
O argumento numero 1 de postDistrict e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24740-24740 |
O argumento numero 2 de postDistrict e' uma instancia de Estado ou Provincia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24737-24737 |
postDistrict e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24738-24738 |
postDistrict e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24741-24741 |
postDistrict e' uma sub-relacao de located |