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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RootLocus

 Sigma KEE - RootLocus
RootLocus(root locus)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1230-1230
No TPTP formula. May not be expressible in strict first order. engineering.kif 1232-1232
No TPTP formula. May not be expressible in strict first order. engineering.kif 1231-1231 Root locus is a subclass of control design method

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50438-50438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50437-50437
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50436-50436


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