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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Grass
Grass

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


(documentation Grass EnglishLanguage "FloweringPlants with green, narrow leaves that are used for lawns and Fields. Grass includes any plant of the family Gramineae, a widely distributed group of mostly annual and perennial herbs.") Mid-level-ontology.kif 8994-8997
(subclass Grass FloweringPlant) Mid-level-ontology.kif 8993-8993

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


(subclass Bamboo Grass) Food.kif 514-514
(subclass CerealGrass Grass) Economy.kif 3811-3811
(termFormat ChineseLanguage Grass "草") domainEnglishFormat.kif 26407-26407
(termFormat ChineseTraditionalLanguage Grass "草") domainEnglishFormat.kif 26406-26406
(termFormat EnglishLanguage Grass "grass") domainEnglishFormat.kif 26405-26405

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


(=>
    (instance ?FIRE GrassFire)
    (exists (?GRASS)
        (and
            (instance ?GRASS Grass)
            (eventLocated ?FIRE ?GRASS)
            (patient ?FIRE ?GRASS))))
Geography.kif 2358-2364
(=>
    (instance ?HAY Hay)
    (exists (?MAKE ?GRASS)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?GRASS)
            (instance ?GRASS Grass)
            (result ?MAKE ?HAY))))
Mid-level-ontology.kif 18167-18174
(=>
    (instance ?L Lawn)
    (exists (?G)
        (and
            (instance ?G Grass)
            (located ?G ?L))))
Mid-level-ontology.kif 8681-8686
(=>
    (instance ?PLAIN Grassland)
    (vegetationTypePattern ?PLAIN Grass GroundCoverVegetation))
Geography.kif 6009-6011
(=>
    (instance ?SWAMP Swamp)
    (vegetationTypePattern ?SWAMP Grass DenseVegetation))
Geography.kif 5956-5958


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners