TreeView Knowledge Base Browser - Grass

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Grass

Grass(grass plant)

Aegilops, Aegilops_triuncalis, African_love_grass, Agropyron, Agropyron_cristatum, Agropyron_intermedium, Agropyron_pauciflorum, Agropyron_repens, Agropyron_smithii, Agropyron_subsecundum, Agropyron_trachycaulum, Agrostis, Agrostis_alba, Agrostis_canina, Agrostis_nebulosa, Agrostis_palustris, Aleppo_grass, Alopecurus, Alopecurus_pratensis, Andropogon, Andropogon_furcatus, Andropogon_gerardii, Andropogon_scoparius, Andropogon_virginicus, Arrhenatherum, Arrhenatherum_elatius, Arundo, Arundo_conspicua, Arundo_donax, Arundo_richardii, Australian_reed_grass, Bahama_grass, Bahia_grass, Bambuseae, Bermuda_grass, Bouteloua, Bouteloua_eriopoda, Bouteloua_gracilis, Bromus, Bromus_arvensis, Bromus_inermis, Bromus_japonicus, Bromus_secalinus, Bromus_tectorum, Buchloe, Buchloe_dactyloides, Calamagrostic_quadriseta, Calamagrostis, Calamagrostis_acutiflora, Canada_wild_rye...

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	Grass plant is a subclass of HerbaceousPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3831-3831	Aegilops grass is a subclass of grass plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2147-2147	Bamboo plant is a subclass of grass plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3813-3813	Cereal grass plant is a subclass of grass plant
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	If a process is an instance of grass fire, then there exists an object such that the object is an instance of grass plant and the process is located at the object and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20403-20410	If an entity is an instance of hay, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of grass plant and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9007-9012	If an object is an instance of lawn, then there exists a physical such that the physical is an instance of grass plant and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6667-6669	If a geographic area is an instance of grassland, then the geographic area is vegetation type pattern grass plant for ground cover vegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6615-6617	If a geographic area is an instance of swamp, then the geographic area is vegetation type pattern grass plant for dense vegetation

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