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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Turbine

 Sigma KEE - Turbine
Turbine(涡轮)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1753-1754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6933-6933
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8135-8135
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8134-8134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1752-1752 涡轮 是 发动机 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 90-90 涡轮 是 内燃机 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59522-59522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59521-59521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59520-59520


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