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


KB Term:  Term intersection
English Word: 

Sigma KEE - Fodder
Fodder(fodder)
feed, provender

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


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

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


(relatedInternalConcept ForageCrop Fodder) Economy.kif 5140-5140 Forage crop is internally related to fodder
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24460-24460 Forage crop is internally related to fodder
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24461-24461 Forage crop is internally related to fodder
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24462-24462 Forage crop is internally related to fodder

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


(=>
    (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 22312-22321 If fodder is an attribute of X, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, X is an instance of organic object, and X is an instance of food for domestic animal
(=>
    (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 22323-22331 If fodder is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of domestic animal, Z is an instance of eating, Y is an agent of Z, and X is a patient of Z

consequent
-------------------------


(=>
    (instance ?H Hay)
    (attribute ?H Fodder))
Mid-level-ontology.kif 22707-22709 If X is an instance of hay, then fodder is an attribute of X


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