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 5851-5853
(subclass UnitOfVolume CompositeUnitOfMeasure) Merge.kif 5849-5849 subclass UnitOfVolume and CompositeUnitOfMeasure

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


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 11223-11223 instance CubicFoot and UnitOfVolume
(instance Cup UnitOfVolume) Merge.kif 6811-6811 instance Cup and UnitOfVolume
(instance LiquorShot UnitOfVolume) Mid-level-ontology.kif 11265-11265 instance LiquorShot and UnitOfVolume
(instance Liter UnitOfVolume) Merge.kif 6352-6352 instance Liter and UnitOfVolume
(instance Ounce UnitOfVolume) Merge.kif 6820-6820 instance Ounce and UnitOfVolume
(instance Pint UnitOfVolume) Merge.kif 6802-6802 instance Pint and UnitOfVolume
(instance Quart UnitOfVolume) Merge.kif 6793-6793 instance Quart and UnitOfVolume
(instance RegistryTon UnitOfVolume) Mid-level-ontology.kif 11250-11250 instance RegistryTon and UnitOfVolume
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 6829-6829 instance UnitedKingdomGallon and UnitOfVolume
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 6783-6783 instance UnitedStatesGallon and UnitOfVolume

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))
Merge.kif 5942-5946
(=>
    (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 2795-2814


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