No TPTP formula. May not be expressible in strict first order. | Merge.kif 2025-2025 | 子類 PhysicalQuantity and Quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2045-2045 | 子類 ConstantQuantity and PhysicalQuantity |
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 6198-6198 | 子類 UnitOfMeasure and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1644-1644 | 子類 性能指標 and PhysicalQuantity |