No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24629-24629 |
O argumento numero 2 de floorCode e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24851-24851 |
O argumento numero 2 de postAddressText e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24755-24755 |
O argumento numero 1 de postCity e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24610-24610 |
O argumento numero 1 de postContactSite e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24698-24698 |
O argumento numero 1 de postCountry e' uma instancia de PostalPlace |
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 24672-24672 |
O argumento numero 1 de postNeighborhood e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24836-24836 |
O argumento numero 2 de postPostOfficeBox e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24781-24781 |
O argumento numero 1 de postPostcodeArea e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24812-24812 |
O argumento numero 1 de postStreet e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24825-24825 |
O argumento numero 2 de postStreetNumber e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24623-24623 |
O argumento numero 2 de unitNumber e' uma instancia de PostalPlace |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23222-23222 |
O argumento numero 1 de workAddress e' uma instancia de PostalPlace |