No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | CompositeUnitOfMeasure 是 函数量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6272-6272 | UnitOfArea 是 CompositeUnitOfMeasure 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6283-6283 | UnitOfVolume 是 CompositeUnitOfMeasure 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6840-6840 | UnitOfFrequency 是 CompositeUnitOfMeasure 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7826-7826 | UnitOfAtmosphericPressure 是 CompositeUnitOfMeasure 的 subclass |