Produce - Sigma Knowledge base Browser

appearance as argument number 1

(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 4524-4530
(instance Produce PlantAttribute)	Economy.kif 4522-4522	农产品是 PlantAttribute 的 instance
(relatedInternalConcept Produce DeadFn)	Economy.kif 4523-4523	农产品和 DeadFn 是内部相关

appearance as argument number 2

(relatedInternalConcept ForageCrop Produce)	Economy.kif 5144-5144	饲料作物和农产品是内部相关
(termFormat ChineseLanguage Produce "农产品")	domainEnglishFormat.kif 26686-26686	饲料作物和农产品是内部相关
(termFormat ChineseTraditionalLanguage Produce "農産品")	domainEnglishFormat.kif 26685-26685	饲料作物和农产品是内部相关
(termFormat EnglishLanguage Produce "produce")	domainEnglishFormat.kif 26684-26684	饲料作物和农产品是内部相关

antecedent

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

Economy.kif 4532-4541

consequent

(=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce))	Food.kif 2694-2699	如果过程是收获的 instance 和客体是那个过程的 result 和那个客体是 Mushroom 的 instance，然后农产品是那个客体的 attribute
(=> (and (instance ?H Harvesting) (result ?H ?X) (instance ?X Herb)) (attribute ?X Produce))	Food.kif 2166-2171	如果过程是收获的 instance 和客体是那个过程的 result 和那个客体是 Herb 的 instance，然后农产品是那个客体的 attribute