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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalSciences

 Sigma KEE - NaturalSciences
NaturalSciences(natural sciences)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9466-9466
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8610-8610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21262-21262 Natural sciences is a subclass of science

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39921-39921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39920-39920
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39919-39919


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