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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dissipator
Dissipator(dissipator)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 508-508
No TPTP formula. May not be expressible in strict first order. engineering.kif 509-509 Dissipator is a subclass of pure twopole

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 850-850 Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order. engineering.kif 573-573 Damper element is a subclass of dissipator
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19932-19932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19931-19931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19930-19930

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 836-841


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