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

Formal Language: 



KB Term:  Term intersection
English Word: 

  barometricPressure

 Sigma KEE - barometricPressure
barometricPressure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2674-2677
No TPTP formula. May not be expressible in strict first order. Merge.kif 7819-7824
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1394-1397
No TPTP formula. May not be expressible in strict first order. Merge.kif 7816-7816 域 氣壓, 1 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7817 域 氣壓, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2753-2753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2646-2646
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2752-2752
No TPTP formula. May not be expressible in strict first order. Merge.kif 7814-7814 例 氣壓 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7813-7813 例 氣壓 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7815-7815 子關係 氣壓 and 測量

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 256-256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 255-255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 254-254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9984-9984
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9983-9983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9982-9982

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13798-13807
No TPTP formula. May not be expressible in strict first order. Merge.kif 13820-13829

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力
No TPTP formula. May not be expressible in strict first order. Weather.kif 802-808
No TPTP formula. May not be expressible in strict first order. Weather.kif 543-549


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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