Fruit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Fruit EnglishLanguage "Fruits comes from the flowering &part of a FloweringPlant and contain Seeds. [Wikipedia]")	Food.kif 2183-2184
(externalImage Fruit "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ fruit_3.png")	pictureList.kif 449-449
(subclass Fruit FruitOrVegetable)	Food.kif 2182-2182	Fruit is a subclass of fruit or vegetable

appearance as argument number 2

(industryProductType FruitFarming Fruit)	Economy.kif 6586-6586	industryProductType FruitFarming and Fruit
(initialPart Jam Fruit)	Food.kif 1760-1760	initialPart Jam and Fruit
(subclass Apple Fruit)	Food.kif 2186-2186	Apple is a subclass of Fruit
(subclass Avocado Fruit)	Food.kif 2288-2288	Avocado is a subclass of Fruit
(subclass Berry Fruit)	Food.kif 2205-2205	Berry is a subclass of Fruit
(subclass CitrusFruit Fruit)	Food.kif 2332-2332	CitrusFruit is a subclass of Fruit
(subclass DateFruit Fruit)	Food.kif 2195-2195	DateFruit is a subclass of Fruit
(subclass Grape Fruit)	Food.kif 2295-2295	Grape is a subclass of Fruit
(subclass Melon Fruit)	Food.kif 2297-2297	Melon is a subclass of Fruit
(subclass Olive Fruit)	Food.kif 2301-2301	Olive is a subclass of Fruit
(subclass Peach Fruit)	Food.kif 2765-2765	Peach is a subclass of Fruit
(subclass PearFruit Fruit)	Food.kif 2200-2200	PearFruit is a subclass of Fruit
(subclass Strawberry Fruit)	Food.kif 3490-3490	Strawberry is a subclass of Fruit
(subclass TamarindFruit Fruit)	Food.kif 3496-3496	TamarindFruit is a subclass of Fruit
(subclass Tomato Fruit)	Food.kif 2293-2293	Tomato is a subclass of Fruit
(subclass TropicalFruit Fruit)	Food.kif 2371-2371	TropicalFruit is a subclass of Fruit
(subclass WineGrape Fruit)	Economy.kif 5065-5065	WineGrape is a subclass of Fruit
(termFormat ChineseLanguage Fruit "水果")	domainEnglishFormat.kif 25122-25122	WineGrape is a subclass of Fruit
(termFormat ChineseTraditionalLanguage Fruit "水果")	domainEnglishFormat.kif 25121-25121	WineGrape is a subclass of Fruit
(termFormat EnglishLanguage Fruit "fruit")	domainEnglishFormat.kif 25120-25120	WineGrape is a subclass of Fruit

antecedent

(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4865-4876	If equal an object and OrganicObjectFn another kind of object and the object is a subclass of OilFromPlant and another kind of object is a subclass of Seed or the other kind of object is a subclass of Fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and initialPart the other kind of object and the third kind of object
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant))	Economy.kif 4555-4559	If a kind of object is a subclass of Fruit and equal a kind of object and Cucumber, then initialPart the kind of object and CucumberPlant
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant))	Economy.kif 4609-4613	If a kind of object is a subclass of Fruit and equal a kind of object and Eggplant, then initialPart the kind of object and EggplantPlant

consequent

(=> (and (instance ?H Hulling) (patient ?H ?O)) (or (instance ?O Seed) (instance ?O Fruit)))	Food.kif 174-180	If a process is an instance of Hulling and an entity is a patient of the process, then the entity is an instance of Seed or the entity is an instance of Fruit
(=> (instance ?J Jam) (exists (?B ?F ?S) (and (instance ?B Boiling) (patient ?B ?F) (instance ?F Fruit) (patient ?B ?S) (instance ?S Sugar) (result ?B ?J))))	Food.kif 1766-1775	If an entity is an instance of Jam, then there exist a process, another entity and a third entity such that the process is an instance of boiling and the other entity is a patient of the process and the other entity is an instance of Fruit and the third entity is a patient of the process and the third entity is an instance of Sugar and the entity is a result of the process
(=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S))))	Food.kif 3377-3384	If an entity is an instance of Schnapps, then there exist a process and an object such that the process is an instance of Distilling and the object is an instance of Fruit and the object is a resource for the process and the entity is a result of the process
(=> (instance ?S Sorbet) (material Fruit ?S))	Food.kif 3457-3459	If a corpuscular object is an instance of Sorbet, then the corpuscular object is made of Fruit

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: