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 |
Le nombre 1 argument de StreetAddressFn est une instance de artefact stationnaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6708-6708 |
Le nombre 2 argument de StreetAddressFn est une instance de Roadway |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6709-6709 |
Le nombre 3 argument de StreetAddressFn est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6710-6710 |
Le nombre 4 argument de StreetAddressFn est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6706-6706 |
StreetAddressFn est une instance de function quaternaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6711-6711 |
Le domaine de StreetAddressFn est une instance de AutonomousAgent |