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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaddyRice

 Sigma KEE - PaddyRice
PaddyRice(paddy rice)Oryza, Oryza_sativa, Oryzopsis, cultivated_rice, genus_Oryza, genus_Oryzopsis, rice, rice_grass, ricegrass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3818-3819
No TPTP formula. May not be expressible in strict first order. Economy.kif 3817-3817 Paddy rice is a subclass of cereal grass plant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4115-4115 Every rice grain is initially part of a paddy rice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43950-43950
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43949-43949
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43948-43948


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