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。") 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 5937-5939
(subclass UnitOfVolume CompositeUnitOfMeasure) Merge.kif 5935-5935 UnitOfVolume is a subclass of CompositeUnitOfMeasure

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


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 11224-11224 Cubic foot is an instance of UnitOfVolume
(instance Cup UnitOfVolume) Merge.kif 6897-6897 Cup is an instance of UnitOfVolume
(instance LiquorShot UnitOfVolume) Mid-level-ontology.kif 11266-11266 Liquor shot is an instance of UnitOfVolume
(instance Liter UnitOfVolume) Merge.kif 6438-6438 Liter is an instance of UnitOfVolume
(instance Ounce UnitOfVolume) Merge.kif 6906-6906 Ounce is an instance of UnitOfVolume
(instance Pint UnitOfVolume) Merge.kif 6888-6888 Pint is an instance of UnitOfVolume
(instance Quart UnitOfVolume) Merge.kif 6879-6879 Quart is an instance of UnitOfVolume
(instance RegistryTon UnitOfVolume) Mid-level-ontology.kif 11251-11251 Registry ton is an instance of UnitOfVolume
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 6915-6915 United kingdom gallon is an instance of UnitOfVolume
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 6869-6869 United states gallon is an instance of UnitOfVolume

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))
Merge.kif 6028-6032
(=>
    (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 2796-2815


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