NonCompositeUnitOfMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NonCompositeUnitOfMeasure ChineseLanguage "这是应用单一维度的 UnitsOfMeasure Class 的实例，因此它不是由其他单位的复合函数在本质上决定的。")	chinese_format.kif 2400-2401
(documentation NonCompositeUnitOfMeasure EnglishLanguage "Instances of this Class are UnitsOfMeasure that are applied to a single dimension, and so are not intrinsically defined by the functional composition of other units.")	Merge.kif 6218-6221
(documentation NonCompositeUnitOfMeasure JapaneseLanguage "この Class のインスタンスは、 1次元に適用される UnitsOfMeasure であり、他のユニットの機能構成によって本質的に定義されるわけではない。")	japanese_format.kif 1081-1083
(subclass NonCompositeUnitOfMeasure ConstantQuantity)	Merge.kif 6216-6216	NonCompositeUnitOfMeasure ist eine teilkategorie von ConstantQuantity
(subclass NonCompositeUnitOfMeasure UnitOfMeasure)	Merge.kif 6215-6215	NonCompositeUnitOfMeasure ist eine teilkategorie von UnitOfMeasure

appearance as argument number 2

(instance PHValue NonCompositeUnitOfMeasure)	Geography.kif 2541-2541	PHValue ist ein fall von NonCompositeUnitOfMeasure %n{nicht}
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure)	Merge.kif 6318-6318	UnitOfAngularMeasure ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfCurrency NonCompositeUnitOfMeasure)	Merge.kif 6308-6308	UnitOfCurrency ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfDuration NonCompositeUnitOfMeasure)	Merge.kif 6339-6339	UnitOfDuration ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfInformation NonCompositeUnitOfMeasure)	Merge.kif 6333-6333	UnitOfInformation ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfLength NonCompositeUnitOfMeasure)	Merge.kif 6247-6247	UnitOfLength ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfMass NonCompositeUnitOfMeasure)	Merge.kif 6259-6259	UnitOfMass ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfTemperature NonCompositeUnitOfMeasure)	Merge.kif 6295-6295	UnitOfTemperature ist eine teilkategorie von NonCompositeUnitOfMeasure
(termFormat EnglishLanguage NonCompositeUnitOfMeasure "non composite unit of measure")	domainEnglishFormat.kif 65240-65240

appearance as argument number 3

(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure)

Merge.kif 6223-6223

UnitOfMeasure wird vollstaendig in CompositeUnitOfMeasure und NonCompositeUnitOfMeasure verteilt

antecedent

(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT1)) (subclass ?UNITCLASS NonCompositeUnitOfMeasure) (instance ?UNIT1 ?UNITCLASS)) (modalAttribute (exists (?INST ?QUANTITY ?UNIT2) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT2)) (instance ?UNIT2 ?UNITCLASS) (greaterThan (MeasureFn ?QUANTITY ?UNIT2) (MeasureFn ?Q ?UNIT1)))) Unlikely))	Mid-level-ontology.kif 13547-13558	Wenn defaultMaximumMeasure Object and RealNumber UnitOfMeasure(s) und Class ist eine teilkategorie von NonCompositeUnitOfMeasure und UnitOfMeasure ist ein fall von Class %n{nicht}, dann die Aussage es gibt entity, RealNumberUANTITY, and und entity um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY entity(s) %n{nicht} und entity ist ein fall von Class %n{nicht} und RealNumberUANTITY entity(s) ist groesserAls RealNumber ** UnitOfMeasure(s) %n{nicht} hat die modale Kraft von Unlikely
(=> (and (defaultMinimumMeasure ?OBJECT (MeasureFn ?Q ?UNIT1)) (subclass ?UNITCLASS NonCompositeUnitOfMeasure) (instance ?UNIT1 ?UNITCLASS)) (modalAttribute (exists (?INST ?QUANTITY ?UNIT2) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT2)) (instance ?UNIT2 ?UNITCLASS) (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 13516-13527	Wenn defaultMinimumMeasure Object and RealNumber UnitOfMeasure(s) und Class ist eine teilkategorie von NonCompositeUnitOfMeasure und UnitOfMeasure ist ein fall von Class %n{nicht}, dann die Aussage es gibt entity, RealNumberUANTITY, and und entity um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY entity(s) %n{nicht} und entity ist ein fall von Class %n{nicht} und RealNumberUANTITY ist kleinerAls RealNumber %n{nicht} hat die modale Kraft von Unlikely
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))	Merge.kif 6461-6465	Wenn Entity ist ein fall von UnitOfMeasureMultiplier %n{nicht} und Entity ist ein fall von NonCompositeUnitOfMeasure %n{nicht}, dann Entity Entity ist ein fall von NonCompositeUnitOfMeasure %n{nicht}
(=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance ?QUANT ConstantQuantity))	Merge.kif 6231-6235	Wenn Entity ist ein fall von RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von NonCompositeUnitOfMeasure %n{nicht}, dann Entity ist ein fall von ConstantQuantity %n{nicht}

consequent

(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))

Merge.kif 6461-6465

Wenn Entity ist ein fall von UnitOfMeasureMultiplier %n{nicht} und ** Entity ist ein fall von NonCompositeUnitOfMeasure %n{nicht},
dann ** Entity ** ** Entity ist ein fall von NonCompositeUnitOfMeasure %n{nicht}

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: