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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfVolume

Sigma KEE - UnitOfVolume
UnitOfVolume

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 est une sous-classe de CompositeUnitOfMeasure

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


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 13634-13634 CubicFoot est une instance de UnitOfVolume
(instance Cup UnitOfVolume) Merge.kif 7234-7234 Cup est une instance de UnitOfVolume
(instance LiquorShot UnitOfVolume) Mid-level-ontology.kif 13677-13677 LiquorShot est une instance de UnitOfVolume
(instance Liter UnitOfVolume) Merge.kif 6769-6769 Liter est une instance de UnitOfVolume
(instance Ounce UnitOfVolume) Merge.kif 7243-7243 Ounce est une instance de UnitOfVolume
(instance Pint UnitOfVolume) Merge.kif 7225-7225 Pint est une instance de UnitOfVolume
(instance Quart UnitOfVolume) Merge.kif 7216-7216 Quart est une instance de UnitOfVolume
(instance RegistryTon UnitOfVolume) Mid-level-ontology.kif 13662-13662 RegistryTon est une instance de UnitOfVolume
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7252-7252 UnitedKingdomGallon est une instance de UnitOfVolume
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 7206-7206 UnitedStatesGallon est une instance de UnitOfVolume
(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 17948-17959
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))
Merge.kif 6376-6380
(=>
    (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 10055-10078
(=>
    (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 10025-10046
(=>
    (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 2811-2830
(=>
    (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 1898-1917
(=>
    (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 1868-1887
(=>
    (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 1987-1999
(=>
    (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 3606-3622


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

Show without tree


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