No TPTP formula. May not be expressible in strict first order. | Merge.kif 2100-2100 | 子類 FunctionQuantity and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2112-2112 | 子類 UnaryConstantFunctionQuantity and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | 子類 CompositeUnitOfMeasure and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6267-6267 | 子類 AreaMeasure and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6278-6278 | 子類 VolumeMeasure and FunctionQuantity |