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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParallelResonance
ParallelResonance(parallel resonance)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 665-666
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11598-11598
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11599-11599
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11597-11597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10183-10183
No TPTP formula. May not be expressible in strict first order. engineering.kif 667-667 Parallel resonance is a subclass of electrical resonance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44394-44394
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44393-44393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44392-44392


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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