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 19037-19038
(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 19035-19035
(subclass Fodder OrganicObject) Mid-level-ontology.kif 19036-19036

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


(subclass Alfalfa Fodder) Economy.kif 4166-4166
(subclass Clover Fodder) Economy.kif 4170-4170
(subclass ForageCrop Fodder) Economy.kif 4173-4173
(subclass Hay Fodder) Mid-level-ontology.kif 19404-19404
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24459-24459
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24458-24458
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24457-24457

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 19040-19048


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 3.0 is open source software produced by Articulate Software and its partners