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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Grass

 Sigma KEE - Grass
Grass(草)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9373-9376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9372-9372 子類 草 and HerbaceousPlant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3831-3831 子類 AegilopsGrass and 草
No TPTP formula. May not be expressible in strict first order. Food.kif 2147-2147 子類 Bamboo and 草
No TPTP formula. May not be expressible in strict first order. Economy.kif 3813-3813 子類 穀物草 and 草
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26478-26478
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26477-26477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26476-26476

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2417-2423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20403-20410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9007-9012
No TPTP formula. May not be expressible in strict first order. Geography.kif 6667-6669
No TPTP formula. May not be expressible in strict first order. Geography.kif 6615-6617


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