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 O argumento numero 1 de barometricPressure e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7817 O argumento numero 2 de barometricPressure e' uma instancia de Quantidade Fisica
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 barometricPressure e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 7813-7813 barometricPressure e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 7815-7815 barometricPressure e' uma sub-relacao de measure

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 Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal
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