| 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 4187-4193 | |
| (instance Produce PlantAttribute) | Economy.kif 4185-4185 | Produce est une instance de PlantAttribute |
| (relatedInternalConcept Produce DeadFn) | Economy.kif 4186-4186 | Produce est reli� � l'int�rieur de SUMO � DeadFn |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept ForageCrop Produce) | Economy.kif 4804-4804 | ForageCrop est reli� � l'int�rieur de SUMO � Produce |
| (termFormat ChineseLanguage Produce "农产品") | domainEnglishFormat.kif 26658-26658 | |
| (termFormat ChineseTraditionalLanguage Produce "農産品") | domainEnglishFormat.kif 26657-26657 | |
| (termFormat EnglishLanguage Produce "produce") | domainEnglishFormat.kif 26656-26656 |
| 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 4195-4204 |
| consequent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce)) |
Food.kif 2687-2692 | |
| (=> (and (instance ?H Harvesting) (result ?H ?X) (instance ?X Herb)) (attribute ?X Produce)) |
Food.kif 2159-2164 |
|
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