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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ForageCrop
ForageCrop(饲料作物)

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


(documentation ForageCrop EnglishLanguage "ForageCrop is a PlantAttribute for Plants that are grown (Grwoth) for the consumption of Domesticanimals directly as crops.") Economy.kif 4806-4807
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Reife_Weizenaehren.jpg") pictureList.kif 6026-6026
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Kombajn_psenice.jpg") pictureList.kif 6547-6547
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Wheatfield_in_South_Africa2.jpg") pictureList.kif 6546-6546
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Bull_eating_fodder.jpg") pictureList.kif 9236-9236
(instance ForageCrop PlantAttribute) Economy.kif 4803-4803 饲料作物PlantAttributeinstance
(relatedInternalConcept ForageCrop Fodder) Economy.kif 4805-4805 饲料作物饲料 是 内部相关
(relatedInternalConcept ForageCrop Produce) Economy.kif 4804-4804 饲料作物农产品 是 内部相关

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


(termFormat ChineseLanguage ForageCrop "饲料作物") domainEnglishFormat.kif 24638-24638
(termFormat ChineseTraditionalLanguage ForageCrop "飼料作物") domainEnglishFormat.kif 24637-24637
(termFormat EnglishLanguage ForageCrop "forage crop") domainEnglishFormat.kif 24636-24636

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


(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Economy.kif 4809-4818


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