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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThrustFault

Sigma KEE - ThrustFault
ThrustFault(推力故障)

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


(subclass ThrustFault DipSlipFault) Geography.kif 2395-2395 推力故障倾角滑动故障subclass

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


(termFormat ChineseLanguage ThrustFault "推力故障") domainEnglishFormat.kif 57950-57950
(termFormat ChineseTraditionalLanguage ThrustFault "推力故障") domainEnglishFormat.kif 57949-57949
(termFormat EnglishLanguage ThrustFault "thrust fault") domainEnglishFormat.kif 57948-57948


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