| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6198-6198 | Unidade de Medida e' uma sub-classe de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9868-9868 | AcidityMeasure e' uma sub-classe de Unidade de Medida |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure e' uma sub-classe de Unidade de Medida |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6215-6215 | NonCompositeUnitOfMeasure e' uma sub-classe de Unidade de Medida |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | Sistema International de Unidades e' uma sub-classe de Unidade de Medida |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7449-7449 | SoundPressureLevelUnit e' uma sub-classe de Unidade de Medida |
|
|