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 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7817 气压 的 2 数量 是 物理量 的 instance
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 气压 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7813-7813 气压 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7815-7815 气压 是 计量 的 subrelation

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 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring
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