No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26925-26926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26929-26929 |
O argumento numero 1 de conforms e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26930-26930 |
O argumento numero 2 de conforms e' uma instancia de Proposicao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26924-26924 |
conforms e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26923-26923 |
conforms e' uma sub-relacao de represents |