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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fodder

Sigma KEE - Fodder
Fodder(fodder)
feed, provender

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


(documentation Fodder EnglishLanguage "Fodder is a RelationalAttribute for OrganicObject harvested from Plants or Animals as food for DomesticAnimals.") Mid-level-ontology.kif 20038-20039
(externalImage Fodder "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Round_hay_bale_at_dawn02.jpg") pictureList.kif 897-897
(instance Fodder RelationalAttribute) Mid-level-ontology.kif 20035-20035 Fodder is an instance of relational attribute
(relatedInternalConcept Fodder DeadFn) Mid-level-ontology.kif 20036-20036 Fodder is internally related to Dead fn
(relatedInternalConcept Fodder FoodForFn) Mid-level-ontology.kif 20037-20037 Fodder is internally related to food for fn

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


(attribute Hay Fodder) Mid-level-ontology.kif 20401-20401 Fodder is an attribute of hay
(relatedInternalConcept ForageCrop Fodder) Economy.kif 4805-4805 Forage crop is internally related to fodder
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24464-24464
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24463-24463
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24462-24462

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


(=>
    (attribute ?FEED Fodder)
    (hasPurpose ?FEED
        (exists (?ANIMAL ?EAT)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?EAT Eating)
                (agent ?EAT ?ANIMAL)
                (patient ?EAT ?FEED)))))
Mid-level-ontology.kif 20052-20060
(=>
    (attribute ?X Fodder)
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X OrganicObject)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Mid-level-ontology.kif 20041-20050


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