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 6418-6419
(documentation UnitOfVolume EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure.") Merge.kif 6415-6417
(subclass UnitOfVolume CompositeUnitOfMeasure) Merge.kif 6414-6414

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


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 11218-11218
(instance Cup UnitOfVolume) Merge.kif 7492-7492
(instance LiquorShot UnitOfVolume) Mid-level-ontology.kif 11260-11260
(instance Liter UnitOfVolume) Merge.kif 6983-6983
(instance Ounce UnitOfVolume) Merge.kif 7501-7501
(instance Pint UnitOfVolume) Merge.kif 7483-7483
(instance Quart UnitOfVolume) Merge.kif 7473-7473
(instance RegistryTon UnitOfVolume) Mid-level-ontology.kif 11245-11245
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7510-7510
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 7463-7463

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


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