TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3507-3509
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15056-15059
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 889-889
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2176-2176
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 890-890
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 891-891
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15054-15054	Fruta ou Vegetal e' uma sub-classe de PlantAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15055-15055	Fruta ou Vegetal e' uma sub-classe de Corpo Reprodutor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2311-2311	initialPart FleshOrPulp and Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2596-2596	initialPart Juice and Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2297-2297	initialPart PeelOrRind and Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2391-2391	Broccoli e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4470-4470	EdibleNut e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2175-2175	Fruit e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4486-4486	Groundnut e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2154-2154	Herb e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4336-4336	Legume e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2684-2684	Mushroom e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4287-4287	RootVegetable e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3358-3358	Scallion e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4706-4706	TeaPlantAerialPart e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4206-4206	Vegetable e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1014-1014
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1240-1240
No TPTP formula. May not be expressible in strict first order.	french_format.kif 692-692
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 223-223
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 226-226
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2375-2375
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 644-644
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 713-713
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 227-227

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Food.kif 2599-2599

O argumento numero 1 de JuiceOfFn e' uma sub-classe de Fruta ou Vegetal

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce e' um atributo de Objeto Objeto e' uma instancia de Fruta ou Vegetal Objeto tem por fim Entidade Entidade e' uma instancia de Harvesting Objeto e' o resultado de Entidade Objeto e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Food.kif 2316-2323	Objeto e' uma instancia de Fruta ou Vegetal Objeto e' uma &parte de Objeto Objeto e' uma instancia de FleshOrPulp Objeto e' uma &parte de Objeto Objeto e' uma instancia de PeelOrRind Objeto e' Inside em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 2302-2308

Objeto auto-conectado e' uma instancia de PeelOrRind
Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Fruta ou Vegetal Objeto auto-conectado e' uma superficie de Objeto auto-conectado

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: