Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfVolume
UnitOfVolume(unit of volume)

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 6286-6288
(documentation UnitOfVolume JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure であり、MeasureFn を使用して VolumeMeasure のインスタンスを形成できる。") japanese_format.kif 1100-1101
(subclass UnitOfVolume CompositeUnitOfMeasure) Merge.kif 6284-6284 Unit of volume is a subclass of composite unit of measure

appearance as argument number 2
-------------------------


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 13661-13661 Cubic foot is an instance of unit of volume
(instance Cup UnitOfVolume) Merge.kif 7235-7235 Cup is an instance of unit of volume
(instance LiquorShot UnitOfVolume) Mid-level-ontology.kif 13704-13704 Liquor shot is an instance of unit of volume
(instance Liter UnitOfVolume) Merge.kif 6770-6770 Liter is an instance of unit of volume
(instance Ounce UnitOfVolume) Merge.kif 7244-7244 Ounce is an instance of unit of volume
(instance Pint UnitOfVolume) Merge.kif 7226-7226 Pint is an instance of unit of volume
(instance Quart UnitOfVolume) Merge.kif 7217-7217 Quart is an instance of unit of volume
(instance RegistryTon UnitOfVolume) Mid-level-ontology.kif 13689-13689 Registry ton is an instance of unit of volume
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7253-7253 United kingdom gallon is an instance of unit of volume
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 7207-7207 United states gallon is an instance of unit of volume
(termFormat EnglishLanguage UnitOfVolume "unit of volume") domainEnglishFormat.kif 65664-65664

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 17975-17986
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))
Merge.kif 6377-6381
(=>
    (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 10082-10105
(=>
    (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 10052-10073
(=>
    (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 2794-2813
(=>
    (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 1881-1900
(=>
    (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 1851-1870
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 1970-1982
(=>
    (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

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 3591-3607


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