Sigma KB Term Intersection

(=> (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 (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
(subclass NonCompositeUnitOfMeasure UnitOfMeasure)	Merge.kif 6215-6215	NonCompositeUnitOfMeasure ist eine teilkategorie von UnitOfMeasure
(subclass NonCompositeUnitOfMeasure ConstantQuantity)	Merge.kif 6216-6216	NonCompositeUnitOfMeasure ist eine teilkategorie von ConstantQuantity
(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
(subclass UnitOfCurrency NonCompositeUnitOfMeasure)	Merge.kif 6308-6308	UnitOfCurrency ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure)	Merge.kif 6318-6318	UnitOfAngularMeasure ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfInformation NonCompositeUnitOfMeasure)	Merge.kif 6333-6333	UnitOfInformation ist eine teilkategorie von NonCompositeUnitOfMeasure
(subclass UnitOfDuration NonCompositeUnitOfMeasure)	Merge.kif 6339-6339	UnitOfDuration ist eine teilkategorie von NonCompositeUnitOfMeasure

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