| 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. | Mid-level-ontology.kif 9868-9868 | Acidity measure is a subclass of unit of measure |
| 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 6215-6215 | Non composite unit of measure is a subclass of unit of measure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | Systeme international unit is a subclass of unit of measure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7449-7449 | Sound pressure level unit is a subclass of unit of measure |
|
|