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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfVolume
UnitOfVolume

appearance as argument number 1
-------------------------


(documentation UnitOfVolume ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 VolumeMeasure 实例的 UnitOfMeasure。") Merge.kif 6431-6432
(documentation UnitOfVolume EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure.") Merge.kif 6428-6430
(subclass UnitOfVolume CompositeUnitOfMeasure) Merge.kif 6427-6427

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


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 11218-11218
(instance Cup UnitOfVolume) Merge.kif 7505-7505
(instance LiquorShot UnitOfVolume) Mid-level-ontology.kif 11260-11260
(instance Liter UnitOfVolume) Merge.kif 6996-6996
(instance Ounce UnitOfVolume) Merge.kif 7514-7514
(instance Pint UnitOfVolume) Merge.kif 7496-7496
(instance Quart UnitOfVolume) Merge.kif 7486-7486
(instance RegistryTon UnitOfVolume) Mid-level-ontology.kif 11245-11245
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7523-7523
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 7476-7476

antecedent
-------------------------


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))
Merge.kif 6533-6537
(=>
    (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)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2792-2811


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners