No TPTP formula. May not be expressible in strict first order. | Merge.kif 2025-2025 | Physical quantity is a subclass of quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2045-2045 | Constant quantity is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2100-2100 | Function quantity is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6198-6198 | Unit of measure is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1644-1644 | Performance measure is a subclass of physical quantity |