No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2091-2091 | Ponto no tempo e' uma sub-classe de Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2135-2135 | Epoch e' uma sub-classe de Ponto no tempo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8780-8780 | Midnight e' uma sub-classe de Ponto no tempo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8854-8854 | Noon e' uma sub-classe de Ponto no tempo |