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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HigherOrderDifferentialEquation
HigherOrderDifferentialEquation(higher order differential equation)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 175-176
No TPTP formula. May not be expressible in strict first order. engineering.kif 177-177
No TPTP formula. May not be expressible in strict first order. engineering.kif 178-178 Higher order differential equation is a subclass of differential equation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28089-28089
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28088-28088
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28087-28087

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 180-180 Differential equation is disjointly decomposed into first order differential equation and higher order differential equation


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