TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3217-3218
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12860-12861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12858-12858	Fazer e' uma sub-classe de Criacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12859-12859	Fazer e' uma sub-classe de Processo Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20816-20816	Carpentry e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12870-12870	Construcao e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12907-12907	Cozinhar e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20439-20439	Copying e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 703-703	DeliveringWeaponOfMassDestruction e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 686-686	DevelopingWeaponOfMassDestruction e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12887-12887	Manufatura e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26358-26358	Photocopying e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3269-3269	Sculpting e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4619-4619	Weaving e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1185-1185
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1587-1587
No TPTP formula. May not be expressible in strict first order.	french_format.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 395-395
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 398-398
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2547-2547
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 815-815
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 400-400
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 434-434
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 884-884
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 399-399

appearance as argument number 3

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

Merge.kif 18450-18450

O argumento numero 1 de MakingFn e' uma sub-classe de Fazer

antecedent

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

Merge.kif 12863-12868

Processo e' uma instancia de Fazer
Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16793-16803	Objeto e' uma instancia de ArtSchool Processo e' uma instancia de Processo Educacional eventLocated Processo and Objeto Processo Entidade Processo e' uma instancia de Fazer Entidade e' um patient de Processo Entidade e' uma instancia de Objeto de Arte Processo inclui uma referencia a Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1607-1617	AutonomousAgent e' uma instancia de Organizacao IndustryAttribute e' um atributo de AutonomousAgent industryProductType IndustryAttribute and Objeto Processo Entidade Processo e' uma instancia de Fazer Entidade e' uma instancia de Objeto Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20894-20901	Potter e' um atributo de AutonomousAgent Processo Entidade Entidade e' uma instancia de Pottery Processo e' uma instancia de Fazer Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	AeronauticalEngineer e' um atributo de AutonomousAgent Processo AutonomousAgent tem a capacidade de fazer Processo Processo Processo e' uma instancia de Processo Processo Entidade and ProcessoT Processo e' uma instancia de Fazer Entidade e' uma instancia de Aircraft Entidade e' uma instancia de ProcessoT typicalPart ProcessoT and Aircraft Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Processo ProcessoLAN, Entidade and ProcessoT Processo e' uma instancia de Designing Entidade e' uma instancia de Aircraft Entidade e' uma instancia de ProcessoT typicalPart ProcessoT and Aircraft ProcessoLAN e' o resultado de Processo ProcessoLAN define Entidade Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	MeanOfProduction e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer involvedInEvent Entidade and Objeto Objeto e' o resultado de Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade Entidade e' uma instancia de CommercialService involvedInEvent Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	contestObject Contest, Objeto and AutonomousAgent contestParticipant Contest and AutonomousAgent Processo AutonomousAgent, Processo and Entidade Processo e' uma instancia de Fazer Objeto e' o resultado de Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo subjectiveAttribute Objeto, Entidade and AutonomousAgent e' o resultado de Processo Processo e' um sub-processo de Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15731-15736	Entidade e' uma instancia de Artefato Processo Processo e' uma instancia de Fazer Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5447-5454	Entidade e' uma instancia de CottonFabric Processo Objeto Processo e' uma instancia de Fazer Objeto e' um recurso para Processo Objeto e' uma instancia de Cotton Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20430-20437	Entidade e' uma instancia de Hay Processo Objeto Processo e' uma instancia de Fazer Objeto e' um recurso para Processo Objeto e' uma instancia de Grass Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5372-5379	Entidade e' uma instancia de Leather Processo Objeto Processo e' uma instancia de Fazer Objeto e' um recurso para Processo Objeto e' uma instancia de Skin Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4204-4212	Fisico e' uma instancia de MechanicalDie Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' uma instancia de MechanicalNut Fisico e' um instrumento para Entidade Entidade e' o resultado de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4190-4198	Fisico e' uma instancia de MechanicalTap Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' uma instancia de Bolt Fisico e' um instrumento para Entidade Entidade e' o resultado de Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 51-62	AutonomousAgent e' uma instancia de Brewpub Processo Entidade and Processo Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Entidade e' uma instancia de Beer Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5385-5394	Entidade e' uma instancia de Silk Processo Objeto and Objeto Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Inseto Larval e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6885-6892	Fisico e' uma instancia de Workshop Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6727-6734	Fisico e' uma instancia de ArtStudio Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5399-5408	Entidade e' uma instancia de Wool Processo Objeto and Objeto Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Hair Objeto e' uma instancia de Sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3555-3565	Entidade e' uma instancia de Paper Processo Objeto and Processo Processo e' uma instancia de Fazer Objeto e' uma instancia de Cellulose Processo e' uma instancia de Compressing Objeto e' um recurso para Processo Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	Objeto e' uma instancia de WetBar Objeto Objeto Objeto e' uma instancia de WashBasin Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Flat e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de PreparedFood Entidade e' uma instancia de Bebida eventLocated Entidade and Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3932-3939	thirdPartyProduct Artefato, Organizacao and AutonomousAgent Processo Processo e' uma instancia de Fazer Processo e' um agente de Organizacao Artefato e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 725-735	yearBuilt Objeto and Ano Intervalo Temporal Processo Intervalo Temporal e' uma instancia de Ano Processo e' uma instancia de Fazer Objeto e' o resultado de Processo o fim de tempo de existencia de Processo e' entre ou durante o comeco de Intervalo Temporal e o fim de Intervalo Temporal

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: