Fruit - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2176-2177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 449-449
No TPTP formula. May not be expressible in strict first order.	Food.kif 2175-2175	Fruit is a subclass of fruit or vegetable

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6193-6193	Fruit is an industry product type of fruit farming
No TPTP formula. May not be expressible in strict first order.	Food.kif 1754-1754	Every jam is initially part of a fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2179-2179	Apple is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2281-2281	Avocado is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2198-2198	Berry is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2325-2325	Citrus fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2188-2188	Date fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2288-2288	Grape is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2290-2290	Melon is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2294-2294	Olive is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2758-2758	Peach is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2193-2193	Pear fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3481-3481	Strawberry is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3487-3487	Tamarind fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2286-2286	Tomato is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2364-2364	Tropical fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4730-4730	Wine grape is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25112-25112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25111-25111
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25110-25110

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant 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 every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4223-4227	If a kind of object is a subclass of fruit and a kind of object is equal to cucumber, then every the kind of object is initially part of a cucumber plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4277-4281	If a kind of object is a subclass of fruit and a kind of object is equal to eggplant, then every the kind of object is initially part of a EggplantPlant

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 1760-1769	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 3368-3375	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 3448-3450	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: