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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nonlinear

 Sigma KEE - Nonlinear
Nonlinear(非线性)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 703-704
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6731-6731
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7445-7445
No TPTP formula. May not be expressible in strict first order. engineering.kif 707-707
No TPTP formula. May not be expressible in strict first order. engineering.kif 706-706
No TPTP formula. May not be expressible in strict first order. engineering.kif 705-705 非线性 是 内在属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40791-40791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40790-40790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40789-40789


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