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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EquationAttribute

 Sigma KEE - EquationAttribute
EquationAttribute(方程属性)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 207-208
No TPTP formula. May not be expressible in strict first order. engineering.kif 209-209 方程属性 是 内在属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 225-225 代数属性 是 方程属性 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 221-221 微分属性 是 方程属性 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22330-22330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22329-22329
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22328-22328

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 211-217


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