| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure est une sous-classe de unit� de mesure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | CompositeUnitOfMeasure est une sous-classe de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6272-6272 | UnitOfArea est une sous-classe de CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6283-6283 | UnitOfVolume est une sous-classe de CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6840-6840 | UnitOfFrequency est une sous-classe de CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7826-7826 | UnitOfAtmosphericPressure est une sous-classe de CompositeUnitOfMeasure |
|
|