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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfAtmosphericPressure
UnitOfAtmosphericPressure

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


(documentation UnitOfAtmosphericPressure ChineseLanguage "UnitOfAtmosphericPressure 包括用来量度气压 (barometricPressure)如: InchMercuryUnitOfMeasure 的实例。 ") Merge.kif 8035-8036
(documentation UnitOfAtmosphericPressure EnglishLanguage "UnitOfAtmosphericPressure includes those instances of UnitOfMeasure used to measure atmospheric pressure (barometricPressure), e.g., InchMercury.") Merge.kif 8032-8034
(subclass UnitOfAtmosphericPressure CompositeUnitOfMeasure) Merge.kif 8031-8031

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


(instance InchMercury UnitOfAtmosphericPressure) Merge.kif 8038-8038
(instance MmMercury UnitOfAtmosphericPressure) Merge.kif 8046-8046

appearance as argument number 3
-------------------------


(domain barometricPressure 2 UnitOfAtmosphericPressure) Merge.kif 8019-8019

consequent
-------------------------


(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G)
        (and
            (instance ?O SelfConnectedObject)
            (instance ?G Region)
            (not
                (equal ?G ?X))
            (connected ?X ?O)
            (connected ?G ?O)
            (measure ?G
                (MeasureFn ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P1 ?P2))))
Cars.kif 383-396
(=>
    (attribute ?X Pressurized)
    (exists (?O ?G)
        (and
            (instance ?O SelfConnectedObject)
            (instance ?G Region)
            (not
                (equal ?G ?X))
            (connected ?X ?O)
            (connected ?G ?O)
            (measure ?G
                (MeasureFn ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P2 ?P1))))
Cars.kif 403-416


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