No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30710-30711 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30713-30713 |
O argumento numero 2 de firstInstanceCreated e' uma instancia de Ponto no tempo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30712-30712 |
O argumento numero 1 de firstInstanceCreated e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30709-30709 |
firstInstanceCreated e' uma instancia de Predicado Binario |