TreeView Knowledge Base Browser

appearance as argument number 1

(instance ForageCrop PlantAttribute)	Economy.kif 5140-5140	Forage crop is an instance of plant attribute
(relatedInternalConcept ForageCrop Produce)	Economy.kif 5141-5141	Forage crop is internally related to produce
(relatedInternalConcept ForageCrop Fodder)	Economy.kif 5142-5142	Forage crop is internally related to fodder
(documentation ForageCrop EnglishLanguage "ForageCrop is a PlantAttribute for Plants that are grown (Grwoth) for the consumption of Domesticanimals directly as crops.")	Economy.kif 5143-5144	Forage crop is internally related to fodder
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Reife_Weizenaehren.jpg")	pictureList.kif 6025-6025	Forage crop is internally related to fodder
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Wheatfield_in_South_Africa2.jpg")	pictureList.kif 6545-6545	Forage crop is internally related to fodder
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Kombajn_psenice.jpg")	pictureList.kif 6546-6546	Forage crop is internally related to fodder
(externalImage ForageCrop "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Bull_eating_fodder.jpg")	pictureList.kif 9235-9235	Forage crop is internally related to fodder

appearance as argument number 2

(termFormat EnglishLanguage ForageCrop "forage crop")	domainEnglishFormat.kif 24634-24634
(termFormat ChineseTraditionalLanguage ForageCrop "飼料作物")	domainEnglishFormat.kif 24635-24635
(termFormat ChineseLanguage ForageCrop "饲料作物")	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))))))

If forage crop is an attribute of X, then X has the purpose there exists Y such that Y is an instance of agriculture, X is a result of Y, X is an instance of plant, and X is an instance of food for domestic animal

statement

(subclass
(DeadFn ForageCrop) PlantAgriculturalArtifact)