No TPTP formula. May not be expressible in strict first order. | Merge.kif 6242-6242 | Medida de Comprimento e' uma sub-classe de Quantidade Constante |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1498-1498 | AltitudeMeasure e' uma sub-classe de Medida de Comprimento |