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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nonlinear
Nonlinear(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 Nonlinear is a subclass of internal attribute

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 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