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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21127-21128
(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 21124-21124 Fodder is an instance of relational attribute
(relatedInternalConcept Fodder DeadFn) Mid-level-ontology.kif 21125-21125 Fodder is internally related to Dead fn
(relatedInternalConcept Fodder FoodForFn) Mid-level-ontology.kif 21126-21126 Fodder is internally related to food for fn

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


(attribute Hay Fodder) Mid-level-ontology.kif 21490-21490 Fodder is an attribute of hay
(relatedInternalConcept ForageCrop Fodder) Economy.kif 5015-5015 Forage crop is internally related to fodder
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24480-24480 Forage crop is internally related to fodder
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24479-24479 Forage crop is internally related to fodder
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24478-24478 Forage crop is internally related to fodder

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 21141-21149
(=>
    (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 21130-21139


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