No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6712-6714 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6707-6707 |
O argumento numero 1 de StreetAddressFn e' uma instancia de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6708-6708 |
O argumento numero 2 de StreetAddressFn e' uma instancia de Roadway |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6709-6709 |
O argumento numero 3 de StreetAddressFn e' uma instancia de Cidade |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6710-6710 |
O argumento numero 4 de StreetAddressFn e' uma instancia de Nacao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6706-6706 |
StreetAddressFn e' uma instancia de Funcao Quaternaria |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6711-6711 |
O contra-dominio de StreetAddressFn e' uma instancia de AutonomousAgent |