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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fodder
Fodder(fodder)
feed, fodder, provender

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


(documentation Fodder EnglishLanguage "Fodder is the class of OrganicObjects that is used as food for DomesticAnimals.") Mid-level-ontology.kif 17789-17790
(externalImage Fodder "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Round_hay_bale_at_dawn02.jpg") pictureList.kif 898-898 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Round_hay_bale_at_dawn02.jpg" is a URL depicting fodder
(subclass Fodder
    (FoodForFn DomesticAnimal))
Mid-level-ontology.kif 17787-17787 Fodder is a subclass of food for domestic animal
(subclass Fodder OrganicObject) Mid-level-ontology.kif 17788-17788 Fodder is a subclass of organic object

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


(subclass Alfalfa Fodder) Economy.kif 4163-4163 Alfalfa is a subclass of fodder
(subclass Clover Fodder) Economy.kif 4167-4167 Clover is a subclass of fodder
(subclass ForageCrop Fodder) Economy.kif 4170-4170 Forage crop is a subclass of fodder
(subclass Hay Fodder) Mid-level-ontology.kif 18163-18163 Hay is a subclass of fodder
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 4499-4499 "fodder" is the printable form of fodder in english language

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


(=>
    (instance ?FEED Fodder)
    (hasPurpose ?FEED
        (exists (?ANIMAL ?EAT)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?EAT Eating)
                (agent ?EAT ?ANIMAL)
                (patient ?EAT ?FEED)))))
Mid-level-ontology.kif 17791-17799


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