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 7841-7846
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 7838-7838 域 氣壓, 1 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7839-7839 域 氣壓, 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 7836-7836 例 氣壓 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7835-7835 例 氣壓 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7837-7837 子關係 氣壓 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 13820-13829
No TPTP formula. May not be expressible in strict first order. Merge.kif 13842-13851

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2676-2686 例 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 798-804
No TPTP formula. May not be expressible in strict first order. Weather.kif 543-550


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