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 Le nombre 1 argument de barometricPressure est une instance de objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7817 Le nombre 2 argument de barometricPressure est une instance de quantit� physique
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 est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 7813-7813 barometricPressure est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 7815-7815 barometricPressure est une sous-relation 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 Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
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