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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dissipator

 Sigma KEE - 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 est une sous-classe de PureTwopole

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 850-850 ResistorElement d�finie Dissipator
No TPTP formula. May not be expressible in strict first order. engineering.kif 573-573 DamperElement est une sous-classe de 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 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