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 1746-1747
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 1745-1745 涡轮 是 发动机 的 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 59524-59524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59523-59523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59522-59522


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