| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | 子類 CompositeUnitOfMeasure and UnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6209-6209 | 子類 CompositeUnitOfMeasure and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6273-6273 | 子類 UnitOfArea and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6284-6284 | 子類 UnitOfVolume and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6841-6841 | 子類 UnitOfFrequency and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7862-7862 | 子類 UnitOfAtmosphericPressure and CompositeUnitOfMeasure |
|
|