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 消减器 是 纯双极 的 subclass

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 850-850 电阻元件 表达 消减器
No TPTP formula. May not be expressible in strict first order. engineering.kif 573-573 阻尼元件 是 消减器 的 subclass
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