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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BarometricAltimeter

 Sigma KEE - BarometricAltimeter
BarometricAltimeter(氣壓高度計)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1471-1473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4535-4535
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1469-1469 子類 氣壓高度計 and 高度表
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1470-1470 子類 氣壓高度計 and 壓力測量裝置

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9978-9978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9977-9977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9976-9976

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1477-1484
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1488-1496


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