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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BesselsEquation

Sigma KEE - BesselsEquation
BesselsEquation(貝塞爾斯方程)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 192-192
No TPTP formula. May not be expressible in strict first order. engineering.kif 193-193
No TPTP formula. May not be expressible in strict first order. engineering.kif 195-195 子類 貝塞爾斯方程 and 非線性方程
No TPTP formula. May not be expressible in strict first order. engineering.kif 194-194 子類 貝塞爾斯方程 and 常微分方程

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10853-10853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10852-10852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10851-10851


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