No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16861-16863 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16858-16858 |
O argumento numero 1 de colleague e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16859-16859 |
O argumento numero 2 de colleague e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16860-16860 |
O argumento numero 3 de colleague e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16857-16857 |
colleague e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16856-16856 |
colleague e' uma instancia de Predicado Ternario |