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 a RelationalAttribute for OrganicObject harvested from Plants or Animals as food for DomesticAnimals.") Mid-level-ontology.kif 21625-21626
(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 21622-21622 Fodder est une instance de attribut relationnel
(relatedInternalConcept Fodder DeadFn) Mid-level-ontology.kif 21623-21623 Fodder est reli� � l'int�rieur de SUMO � DeadFn
(relatedInternalConcept Fodder FoodForFn) Mid-level-ontology.kif 21624-21624 Fodder est reli� � l'int�rieur de SUMO � FoodForFn

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


(attribute Hay Fodder) Mid-level-ontology.kif 22018-22018 Fodder est un attribut de Hay
(relatedInternalConcept ForageCrop Fodder) Economy.kif 5145-5145 ForageCrop est reli� � l'int�rieur de SUMO � Fodder
(termFormat ChineseLanguage Fodder "饲料") domainEnglishFormat.kif 24469-24469 ForageCrop est reli� � l'int�rieur de SUMO � Fodder
(termFormat ChineseTraditionalLanguage Fodder "飼料") domainEnglishFormat.kif 24468-24468 ForageCrop est reli� � l'int�rieur de SUMO � Fodder
(termFormat EnglishLanguage Fodder "fodder") domainEnglishFormat.kif 24467-24467 ForageCrop est reli� � l'int�rieur de SUMO � 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 21639-21647
(=>
    (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 21628-21637


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