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 20037-20038
(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 20034-20034 饲料关联属性instance
(relatedInternalConcept Fodder DeadFn) Mid-level-ontology.kif 20035-20035 饲料DeadFn 是 内部相关
(relatedInternalConcept Fodder FoodForFn) Mid-level-ontology.kif 20036-20036 饲料FoodForFn 是 内部相关

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


(attribute Hay Fodder) Mid-level-ontology.kif 20400-20400 饲料干草attribute
(relatedInternalConcept ForageCrop Fodder) Economy.kif 4805-4805 饲料作物饲料 是 内部相关
(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 20051-20059
(=>
    (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 20040-20049


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