No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22821-22823 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22818-22818 |
O argumento numero 1 de operator e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22819-22819 |
O argumento numero 2 de operator e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22816-22816 |
operator e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22815-22815 |
operator e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22817-22817 |
operator e' uma instancia de Relacao Irreflexiva |