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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19866-19867
(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 19864-19864
(subclass Fodder OrganicObject) Mid-level-ontology.kif 19865-19865

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


(subclass Alfalfa Fodder) Economy.kif 4328-4328
(subclass Clover Fodder) Economy.kif 4332-4332
(subclass ForageCrop Fodder) Economy.kif 4335-4335
(subclass Hay Fodder) Mid-level-ontology.kif 20233-20233
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24473-24473
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24472-24472
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24471-24471

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 19869-19877


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