No TPTP formula. May not be expressible in strict first order. | Merge.kif 2067-2067 | Medida Temporal e' uma sub-classe de Quantidade Constante |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2073-2073 | Duracao Temporal e' uma sub-classe de Medida Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2078-2078 | Posicao Temporal e' uma sub-classe de Medida Temporal |