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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fodder

Sigma KEE - Fodder
Fodder
عَلَف, عَلِيْق, طَعام,

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 17731-17732
(externalImage Fodder "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Round_hay_bale_at_dawn02.jpg") pictureList.kif 898-898
(subclass Fodder
    (FoodForFn DomesticAnimal))
Mid-level-ontology.kif 17729-17729
(subclass Fodder OrganicObject) Mid-level-ontology.kif 17730-17730

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


(subclass Alfalfa Fodder) Economy.kif 4163-4163
(subclass Clover Fodder) Economy.kif 4167-4167
(subclass ForageCrop Fodder) Economy.kif 4170-4170
(subclass Hay Fodder) Mid-level-ontology.kif 18105-18105
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 4499-4499

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 17733-17741


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