UnitOfVolume - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnitOfVolume ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 VolumeMeasure 实例的 UnitOfMeasure。")	chinese_format.kif 2413-2414
(documentation UnitOfVolume EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure.")	Merge.kif 6285-6287
(documentation UnitOfVolume JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure であり、MeasureFn を使用して VolumeMeasure のインスタンスを形成できる。")	japanese_format.kif 1100-1101
(subclass UnitOfVolume CompositeUnitOfMeasure)	Merge.kif 6283-6283	UnitOfVolume ist eine teilkategorie von CompositeUnitOfMeasure

appearance as argument number 2

(instance CubicFoot UnitOfVolume)	Mid-level-ontology.kif 13633-13633	CubicFoot ist ein fall von UnitOfVolume %n{nicht}
(instance Cup UnitOfVolume)	Merge.kif 7234-7234	Cup ist ein fall von UnitOfVolume %n{nicht}
(instance LiquorShot UnitOfVolume)	Mid-level-ontology.kif 13676-13676	LiquorShot ist ein fall von UnitOfVolume %n{nicht}
(instance Liter UnitOfVolume)	Merge.kif 6769-6769	Liter ist ein fall von UnitOfVolume %n{nicht}
(instance Ounce UnitOfVolume)	Merge.kif 7243-7243	Ounce ist ein fall von UnitOfVolume %n{nicht}
(instance Pint UnitOfVolume)	Merge.kif 7225-7225	Pint ist ein fall von UnitOfVolume %n{nicht}
(instance Quart UnitOfVolume)	Merge.kif 7216-7216	Quart ist ein fall von UnitOfVolume %n{nicht}
(instance RegistryTon UnitOfVolume)	Mid-level-ontology.kif 13661-13661	RegistryTon ist ein fall von UnitOfVolume %n{nicht}
(instance UnitedKingdomGallon UnitOfVolume)	Merge.kif 7252-7252	UnitedKingdomGallon ist ein fall von UnitOfVolume %n{nicht}
(instance UnitedStatesGallon UnitOfVolume)	Merge.kif 7206-7206	UnitedStatesGallon ist ein fall von UnitOfVolume %n{nicht}
(termFormat EnglishLanguage UnitOfVolume "unit of volume")	domainEnglishFormat.kif 65662-65662

antecedent

(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2))	Mid-level-ontology.kif 17947-17958	Wenn approximateDiameter SelfConnectedObject and RealNumber RealNumberM(s) und sphereRadius Object and RealNumber und 2.0 RealNumberM(s) und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von SelfConnectedObject ist RealNumber UnitOfMeasure(s) %n{nicht} und RealNumberM ist ein fall von UnitOfLength %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann RealNumber ist gleich ** RealNumber %n{nicht}
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfVolume)) (instance ?QUANT VolumeMeasure))	Merge.kif 6376-6380	Wenn RealNumber UnitOfMeasure(s) ist gleich PhysicalQuantity %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann PhysicalQuantity ist ein fall von VolumeMeasure %n{nicht}
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10054-10077	Wenn Object ist ein fall von Antidiuretic %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Urination %n{nicht} und TimeInterval ist gleich TimeInterval nicht und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht frueh als Motion %n{nicht} und Motion geschieht frueh als TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10024-10045	Wenn Object ist ein fall von Diuretic %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht frueh als Motion %n{nicht} und Motion geschieht frueh als TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls ** RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2817-2836	Wenn Object ist ein fall von InternalCombustionEngine %n{nicht} und Object ist ein fall von CombustionChamber %n{nicht} und Object ist ein teil von Object %n{nicht} und Entity ist ein fall von Fuel %n{nicht} und Entity ist ein fall von UnitOfVolume %n{nicht} und contains Object and Entity und das mass von Entity ist entity Entity(s) %n{nicht} und EngineFlooded ist ein attribut von Object %n{nicht} haelt waehrend TimePosition %n{nicht}, dann Object hat Zweck von es gibt nicht Entity2 und entity um Entity2 ist ein fall von Fuel %n{nicht} und contains Object and Entity2 und das mass von Entity2 ist entity Entity(s) %n{nicht} und entity ist groesserAlsOderGleich entity %n{nicht} %n{nicht}
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (maxCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))))	Cars.kif 1904-1923	Wenn Process ist ein fall von EngineCycle %n{nicht} und Object ist ein fall von InternalCombustionEngine %n{nicht} und Object ist ein fall von CombustionChamber %n{nicht} und Object ist ein teil von Object %n{nicht} und eventLocated Process and Object und Entity ist ein fall von UnitOfVolume %n{nicht} und maxCylinderVolume Object and RealNumber Entity(s) haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann es gibt nicht RealNumber und TimeInterval um TimeInterval geschieht waehrend die zeit des Bestehens von Process %n{nicht} und das mass von Object ist RealNumber Entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (minCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V1 ?V2)))))	Cars.kif 1874-1893	Wenn Process ist ein fall von EngineCycle %n{nicht} und Object ist ein fall von InternalCombustionEngine %n{nicht} und Object ist ein fall von CombustionChamber %n{nicht} und Object ist ein teil von Object %n{nicht} und eventLocated Process and Object und Entity ist ein fall von UnitOfVolume %n{nicht} und minCylinderVolume Object and RealNumber Entity(s) haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann es gibt nicht RealNumber und TimeInterval um TimeInterval geschieht waehrend die zeit des Bestehens von Process %n{nicht} und das mass von Object ist RealNumber Entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (instance ?M OnePercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.01 ?N)))))	Food.kif 2969-2986	Wenn Object ist ein fall von OnePercentMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist gleich 0.01 und ** RealNumber %n{nicht}
(=> (and (instance ?M SemiSkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.015 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 2993-3011	Wenn Object ist ein fall von SemiSkimmedMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist groesserAlsOderGleich 0.015 und RealNumber %n{nicht} und RealNumber2 ist kleinerAlsOderGleich 0.02 und ** RealNumber %n{nicht}
(=> (and (instance ?M SkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.005 ?N)))))	Food.kif 3018-3036	Wenn Object ist ein fall von SkimmedMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist groesserAlsOderGleich 0.0 und RealNumber %n{nicht} und RealNumber2 ist kleinerAlsOderGleich 0.005 und ** RealNumber %n{nicht}
(=> (and (instance ?M TwoPercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 2945-2962	Wenn Object ist ein fall von TwoPercentMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist gleich 0.02 und ** RealNumber %n{nicht}
(=> (and (instance ?M WholeMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0325 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.05 ?N)))))	Food.kif 2851-2869	Wenn Object ist ein fall von WholeMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist groesserAlsOderGleich 0.0325 und RealNumber %n{nicht} und RealNumber2 ist kleinerAlsOderGleich 0.05 und ** RealNumber %n{nicht}
(=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2))	Cars.kif 1993-2005	Wenn Entity ist ein fall von SelfConnectedObject %n{nicht} und Process ist ein fall von Compressing %n{nicht} und Entity ist ein patient von Process %n{nicht} und das mass von Entity ist RealNumber Entity(s) %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und Entity ist ein fall von UnitOfVolume %n{nicht} und das mass von Entity ist RealNumber Entity(s) %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (instance ?WEARING Erosion) (instance ?LAND LandForm) (patient ?WEARING ?LAND) (instance ?U UnitOfVolume) (measure ?LAND (MeasureFn ?SIZE1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?WEARING)) (exists (?SIZE2) (and (measure ?LAND (MeasureFn ?SIZE2 ?U)) (lessThan ?SIZE2 ?SIZE1)))))	Geography.kif 2689-2702	Wenn Process ist ein fall von Erosion %n{nicht} und Physical ist ein fall von LandForm %n{nicht} und Physical ist ein patient von Process %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von Physical ist RealNumber UnitOfMeasure(s) %n{nicht}, dann es gibt entity um das mass von Physical ist entity UnitOfMeasure(s) %n{nicht} und entity ist kleinerAls RealNumber %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}

consequent

(=>
    (instance ?I Inflating)
    (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
        (and
            (instance ?G1 ?S)
            (instance ?G2 ?S)
            (instance ?S Substance)
            (attribute ?G1 Gas)
            (attribute ?G2 Gas)
            (instance ?U UnitOfVolume)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?I))
                (measure ?G1
                    (MeasureFn ?V1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?I))
                (measure ?G2
                    (MeasureFn ?V2 ?U)))
            (greaterThan ?V2 ?V1))))

Cars.kif 3614-3630

Wenn Physical ist ein fall von Inflating %n{nicht},
dann es gibt Object, ** Object,, , RealNumber,, , ** RealNumber,, , Class, and und Entity um ** Object ist ein fall von ** Class %n{nicht} und ** ** Object ist ein fall von ** Class %n{nicht} und ** Class ist ein fall von Substance %n{nicht} und Gas ist ein attribut von ** Object %n{nicht} und Gas ist ein attribut von ** ** Object %n{nicht} und ** Entity ist ein fall von UnitOfVolume %n{nicht} und das mass von ** Object ist ** RealNumber ** Entity(s) %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von ** Physical %n{nicht} und das mass von ** ** Object ist ** ** RealNumber ** Entity(s) %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von ** Physical %n{nicht} und ** ** RealNumber ist groesserAls ** RealNumber %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: