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 17791-17792
(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 17789-17789 subclass Fodder and FoodForFn DomesticAnimal
(subclass Fodder OrganicObject) Mid-level-ontology.kif 17790-17790 subclass Fodder and OrganicObject

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


(subclass Alfalfa Fodder) Economy.kif 4163-4163 subclass Alfalfa and Fodder
(subclass Clover Fodder) Economy.kif 4167-4167 subclass Clover and Fodder
(subclass ForageCrop Fodder) Economy.kif 4170-4170 subclass ForageCrop and Fodder
(subclass Hay Fodder) Mid-level-ontology.kif 18165-18165 subclass Hay and Fodder
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24391-24391
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24390-24390
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24389-24389

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 17793-17801


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