No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24187-24188 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24191-24191 |
O argumento numero 1 de weddingAnniversary e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24192-24192 |
O argumento numero 2 de weddingAnniversary e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24189-24189 |
weddingAnniversary e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24190-24190 |
weddingAnniversary e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24193-24193 |
weddingAnniversary e' uma sub-relacao de anniversary |