FruitOrVegetable - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FruitOrVegetable ChineseLanguage "这是任何的水果或蔬菜，也就是说是 Plant 成熟的 ReproductiveBody。注：因为有些水果不可食用，如毒草莓，所以 FruitOrVegetable 不是 Food 的子类别。")	chinese_format.kif 3507-3509
(documentation FruitOrVegetable EnglishLanguage "Any fruit or vegetable, i.e. a ripened ReproductiveBody of a Plant. Note that FruitOrVegetable is not a subclass of Food, because some fruits, e.g. poisonous berries, are not edible.")	Merge.kif 15231-15234
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Citrus_medicus_fruit.jpg")	pictureList-ImageNet.kif 889-889
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Fruit_Stall_in_Barcelona_Market.jpg")	pictureList.kif 2175-2175
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ La_Boqueria.JPG/ 250px_La_Boqueria.JPG")	pictureList-ImageNet.kif 890-890
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Obstkorb.jpg/ 180px_Obstkorb.jpg")	pictureList-ImageNet.kif 891-891
(subclass FruitOrVegetable PlantAnatomicalStructure)	Merge.kif 15229-15229	Fruit or vegetable is a subclass of plant anatomical structure
(subclass FruitOrVegetable ReproductiveBody)	Merge.kif 15230-15230	Fruit or vegetable is a subclass of reproductive body

appearance as argument number 2

(initialPart FleshOrPulp FruitOrVegetable)	Food.kif 2318-2318	Every flesh or pulp is initially part of a fruit or vegetable
(initialPart Juice FruitOrVegetable)	Food.kif 2603-2603	Every juice is initially part of a fruit or vegetable
(initialPart PeelOrRind FruitOrVegetable)	Food.kif 2304-2304	Every peel or rind is initially part of a fruit or vegetable
(subclass Broccoli FruitOrVegetable)	Food.kif 2398-2398	Broccoli is a subclass of fruit or vegetable
(subclass EdibleNut FruitOrVegetable)	Economy.kif 4803-4803	Edible nut is a subclass of fruit or vegetable
(subclass Fruit FruitOrVegetable)	Food.kif 2182-2182	Fruit is a subclass of fruit or vegetable
(subclass Groundnut FruitOrVegetable)	Economy.kif 4819-4819	Groundnut is a subclass of fruit or vegetable
(subclass Herb FruitOrVegetable)	Food.kif 2161-2161	Herb is a subclass of fruit or vegetable
(subclass Legume FruitOrVegetable)	Economy.kif 4669-4669	Legume is a subclass of fruit or vegetable
(subclass Mushroom FruitOrVegetable)	Food.kif 2691-2691	Mushroom is a subclass of fruit or vegetable
(subclass RootVegetable FruitOrVegetable)	Economy.kif 4620-4620	Root vegetable is a subclass of fruit or vegetable
(subclass Scallion FruitOrVegetable)	Food.kif 3367-3367	Scallion is a subclass of fruit or vegetable
(subclass TeaPlantAerialPart FruitOrVegetable)	Economy.kif 5039-5039	Tea plant aerial part is a subclass of fruit or vegetable
(subclass Vegetable FruitOrVegetable)	Economy.kif 4538-4538	Vegetable is a subclass of fruit or vegetable
(termFormat ChineseLanguage FruitOrVegetable "水果或蔬菜")	chinese_format.kif 1014-1014	Vegetable is a subclass of fruit or vegetable
(termFormat EnglishLanguage FruitOrVegetable "fruit or vegetable")	english_format.kif 1240-1240	Vegetable is a subclass of fruit or vegetable
(termFormat FrenchLanguage FruitOrVegetable "fruit ou v�g�tal")	french_format.kif 692-692	Vegetable is a subclass of fruit or vegetable
(termFormat Hindi FruitOrVegetable "phala yaa sabjee")	terms-hindi.txt 223-223	Vegetable is a subclass of fruit or vegetable
(termFormat ItalianLanguage FruitOrVegetable "FruttaOVerdura")	terms-it.txt 226-226	Vegetable is a subclass of fruit or vegetable
(termFormat JapaneseLanguage FruitOrVegetable "果物または野菜")	japanese_format.kif 2375-2375	Vegetable is a subclass of fruit or vegetable
(termFormat PortugueseLanguage FruitOrVegetable "Fruta ou Vegetal")	portuguese_format.kif 644-644	Vegetable is a subclass of fruit or vegetable
(termFormat cz FruitOrVegetable "fruit or vegetable")	terms-cz.txt 261-261	Vegetable is a subclass of fruit or vegetable
(termFormat de FruitOrVegetable "Frucht oder Gemuese")	terms-de.txt 520-520	Vegetable is a subclass of fruit or vegetable
(termFormat ro FruitOrVegetable "fruct sau legumã")	relations-ro.kif 713-713	Vegetable is a subclass of fruit or vegetable

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domainSubclass JuiceOfFn 1 FruitOrVegetable)

Food.kif 2606-2606

The number 1 argument of juice of fn is a subclass of fruit or vegetable

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 4527-4536	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
(=> (and (instance ?X FruitOrVegetable) (part ?F ?X) (instance ?F FleshOrPulp) (part ?P ?X) (instance ?P PeelOrRind)) (orientation ?F ?P Inside))	Food.kif 2323-2330	If an object is an instance of fruit or vegetable and another object is a part of the object and the other object is an instance of flesh or pulp and a third object is a part of the object and the third object is an instance of peel or rind, then the other object is inside to the third object

consequent

(=>
    (instance ?P PeelOrRind)
    (exists (?X)
        (and
            (part ?P ?X)
            (instance ?X FruitOrVegetable)
            (surface ?P ?X))))

Food.kif 2309-2315

If a self connected object is an instance of peel or rind,
then there exists another self connected object such that the self connected object is a part of the other self connected object and the other self connected object is an instance of fruit or vegetable and the self connected object is a surface of the other self connected object

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

KB Term:			Term intersection

English Word: