No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22914-22918 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22912-22912 |
O argumento numero 1 de benefits e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22913-22913 |
O argumento numero 2 de benefits e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22911-22911 |
benefits e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22910-22910 |
benefits e' uma instancia de Predicado Binario |