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 8995-8998
(subclass Grass FloweringPlant) Mid-level-ontology.kif 8994-8994

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


(subclass Bamboo Grass) Food.kif 470-470
(subclass CerealGrass Grass) Economy.kif 3811-3811
(termFormat ChineseLanguage Grass "草") domainEnglishFormat.kif 26401-26401
(termFormat ChineseTraditionalLanguage Grass "草") domainEnglishFormat.kif 26400-26400
(termFormat EnglishLanguage Grass "grass") domainEnglishFormat.kif 26399-26399

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 18168-18175
(=>
    (instance ?L Lawn)
    (exists (?G)
        (and
            (instance ?G Grass)
            (located ?G ?L))))
Mid-level-ontology.kif 8682-8687
(=>
    (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