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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hay

Sigma KEE - Hay
Hay
علف مُجفّف, تِبْن, قِشّ,

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


(documentation Hay EnglishLanguage "Grass that has been cut and cured for use as Fodder.") Mid-level-ontology.kif 17805-17805
(externalImage Hay "http://upload.wikimedia.org/wikipedia/commons/8/8d/Romanian_hay.jpg") pictureList.kif 1484-1484
(subclass Hay Fodder) Mid-level-ontology.kif 17804-17804

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


(termFormat EnglishLanguage Hay "hay") domainEnglishFormat.kif 5028-5028

antecedent
-------------------------


(=>
    (instance ?HAY Hay)
    (exists (?MAKE ?GRASS)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?GRASS)
            (instance ?GRASS Grass)
            (result ?MAKE ?HAY))))
Mid-level-ontology.kif 17807-17814


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