TreeView 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 e' uma sub-classe de Fruta ou Vegetal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6193-6193	industryProductType FruitFarming and Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 1754-1754	initialPart Jam and Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2179-2179	Apple e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2281-2281	Avocado e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2198-2198	Berry e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2325-2325	CitrusFruit e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2188-2188	DateFruit e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2288-2288	Grape e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2290-2290	Melon e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2294-2294	Olive e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2758-2758	Peach e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2193-2193	PearFruit e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3481-3481	Strawberry e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3487-3487	TamarindFruit e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2286-2286	Tomato e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2364-2364	TropicalFruit e' uma sub-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4730-4730	WineGrape e' uma sub-classe de 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	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de OilFromPlant Objeto e' uma sub-classe de Seed Objeto e' uma sub-classe de Fruit Objeto Objeto e' uma sub-classe de Planta Florindo initialPart Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4223-4227	Objeto e' uma sub-classe de Fruit Objeto e' igual a Cucumber initialPart Objeto and CucumberPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4277-4281	Objeto e' uma sub-classe de Fruit Objeto e' igual a Eggplant initialPart Objeto and EggplantPlant

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 174-180	Processo e' uma instancia de Hulling Entidade e' um patient de Processo Entidade e' uma instancia de Seed Entidade e' uma instancia de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 1760-1769	Entidade e' uma instancia de Jam Processo Entidade and Entidade Processo e' uma instancia de Ferver Entidade e' um patient de Processo Entidade e' uma instancia de Fruit Entidade e' um patient de Processo Entidade e' uma instancia de Sugar Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3368-3375	Entidade e' uma instancia de Schnapps Processo Objeto Processo e' uma instancia de Distilling Objeto e' uma instancia de Fruit Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3448-3450	Objeto Corpuscular e' uma instancia de Sorbet Fruit e' feito de Objeto Corpuscular

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: