No TPTP formula. May not be expressible in strict first order. | Merge.kif 2078-2078 | Posicao Temporal e' uma sub-classe de Medida Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2084-2084 | Intervalo Temporal e' uma sub-classe de Posicao Temporal |
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 |