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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InchMercury
InchMercury

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


(documentation InchMercury ChineseLanguage "InchMercury 是 barometricPressure 的一种 UnitOfMeasure，它用来表示被气压环绕的汞气压计上汞柱的英寸数目。") chinese_format.kif 2680-2681
(documentation InchMercury EnglishLanguage "InchMercury is a UnitOfMeasure for barometricPressure. It is used to express the number of inches of mercury supported in a mercurial barometer by the surrounding air pressure.") Merge.kif 7919-7922
(documentation InchMercury JapaneseLanguage "InchMercury は、barometricPressure のため の　UnitOfMeasure で、周囲の気圧によって水銀気圧計で支持される水銀のインチ数を表すために使用さ れる。") japanese_format.kif 1401-1403
(instance InchMercury UnitOfAtmosphericPressure) Merge.kif 7917-7917 InchMercury は UnitOfAtmosphericPressure の instance では

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


(termFormat ChineseLanguage InchMercury "英寸汞") domainEnglishFormat.kif 29508-29508
(termFormat ChineseTraditionalLanguage InchMercury "英寸汞") domainEnglishFormat.kif 29507-29507
(termFormat EnglishLanguage InchMercury "inch mercury") domainEnglishFormat.kif 29506-29506

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


(=>
    (and
        (instance ?W KatabaticWind)
        (origin ?W ?TOP)
        (top ?TOP ?A)
        (instance ?A SlopedArea)
        (barometricPressure ?TOP
            (MeasureFn ?H InchMercury))
        (destination ?W ?BOTTOM)
        (bottom ?BOTTIM ?A)
        (barometricPressure ?BOTTOM
            (MeasureFn ?L InchMercury)))
    (holdsDuring
        (WhenFn ?W)
        (greaterThan ?H ?L)))		 Weather.kif 2065-2079
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan 29.92 ?PRES)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?BOIL))
    (attribute ?X Gas))		 Merge.kif 13951-13960
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))		 Merge.kif 13973-13982

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


(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))		 Weather.kif 3509-3519 エンティティー は 地域 の instance では エンティティー には attribute StandardAmbientTemperaturePressure は 時間位置 の during holds airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置 の during holds
(=>
    (and
        (instance ?SYSTEM HighPressureWeatherSystem)
        (eventLocated ?SYSTEM ?AREA))
    (and
        (barometricPressure ?AREA
            (MeasureFn ?AMOUNT InchMercury))
        (greaterThan ?AMOUNT 30.2)))		 Weather.kif 786-792
(=>
    (and
        (instance ?SYSTEM LowPressureWeatherSystem)
        (instance ?AREA Region)
        (eventLocated ?SYSTEM ?AREA))
    (and
        (barometricPressure ?AREA
            (MeasureFn ?AMOUNT InchMercury))
        (lessThan ?AMOUNT 29.5)))		 Weather.kif 531-538


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 3.0 is open source software produced by Articulate Software and its partners