TreeView Knowledge Base Browser

appearance as argument number 1

(instance Produce PlantAttribute)	Economy.kif 4517-4517	Produce is an instance of plant attribute
(relatedInternalConcept Produce DeadFn)	Economy.kif 4518-4518	Produce is internally related to Dead fn
(documentation Produce EnglishLanguage "Producemeans any fruit or vegetable (including mixes of intact fruits and vegetables) and includes mushrooms, sprouts(irrespective of seed source), peanuts, tree nuts, and herbs, according to FDA. It is defined as an Attribute for FruitOrVegetable harvested from Plants or Fungus. An Attrbute instead of a subclass of an Object is used for Produce to distinguish a FruitOrVegetable that is grown in the wild from one that is cultivated. However, note that a wild vegetable that is picked and placed in a grocery store would have the attribute of produce once it is picked for that reason.")	Economy.kif 4519-4525	Produce is internally related to Dead fn

appearance as argument number 2

(relatedInternalConcept ForageCrop Produce)	Economy.kif 5141-5141	Forage crop is internally related to produce
(termFormat EnglishLanguage Produce "produce")	domainEnglishFormat.kif 26660-26660	Forage crop is internally related to produce
(termFormat ChineseTraditionalLanguage Produce "農産品")	domainEnglishFormat.kif 26661-26661	Forage crop is internally related to produce
(termFormat ChineseLanguage Produce "农产品")	domainEnglishFormat.kif 26662-26662	Forage crop is internally related to produce

antecedent

(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))

If produce is an attribute of X and X is an instance of fruit or vegetable, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, and X is an instance of food for human

consequent

(=> (and (instance ?H Harvesting) (result ?H ?X) (instance ?X Herb)) (attribute ?X Produce))	Food.kif 2179-2184	If X is an instance of harvesting, Y is a result of X, and Y is an instance of herb, then produce is an attribute of Y
(=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce))	Food.kif 2715-2720	If X is an instance of harvesting, Y is a result of X, and Y is an instance of mushroom, then produce is an attribute of Y