No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | Composite unit of measure is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | Composite unit of measure is a subclass of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6272-6272 | Unit of area is a subclass of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6283-6283 | Unit of volume is a subclass of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6840-6840 | Unit of frequency is a subclass of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7826-7826 | Unit of atmospheric pressure is a subclass of composite unit of measure |