No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24244-24245 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24248-24248 |
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 24249-24249 |
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 24246-24246 |
weddingAnniversary e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24247-24247 |
weddingAnniversary e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24250-24250 |
weddingAnniversary e' uma sub-relacao de anniversary |