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 18164-18164
(externalImage Hay "http://upload.wikimedia.org/wikipedia/commons/8/8d/Romanian_hay.jpg") pictureList.kif 1484-1484
(subclass Hay Fodder) Mid-level-ontology.kif 18163-18163

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 18166-18173


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