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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DifferentialEquation
DifferentialEquation(微分方程)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 180-180 微分方程 分拆成不相交的 一阶微分方程 和 高阶微分方程
No TPTP formula. May not be expressible in strict first order. engineering.kif 190-190 微分方程 分拆成不相交的 常微分方程 和 偏微分方程
No TPTP formula. May not be expressible in strict first order. engineering.kif 152-153
No TPTP formula. May not be expressible in strict first order. engineering.kif 154-154 微分方程 是 方程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 173-173 一阶微分方程 是 微分方程 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 178-178 高阶微分方程 是 微分方程 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 188-188 常微分方程 是 微分方程 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 184-184 偏微分方程 是 微分方程 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19500-19500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19499-19499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19498-19498

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 155-157 实体 是 微分方程 的 instance 若且唯若 那个 实体 是 方程 跟 微分属性 的 attr 的 instance


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