| 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. | Mid-level-ontology.kif 9868-9868 | 子類 AcidityMeasure and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | 子類 CompositeUnitOfMeasure and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6215-6215 | 子類 NonCompositeUnitOfMeasure and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | 子類 SystemeInternationalUnit and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7449-7449 | 子類 SoundPressureLevelUnit and UnitOfMeasure |
|
|