Making - Sigma 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 12836-12837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12834-12834	Fazer e' uma sub-classe de Criacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12835-12835	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 20788-20788	Carpentry e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12846-12846	Construcao e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12883-12883	Cozinhar e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20411-20411	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 12863-12863	Manufatura e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26313-26313	Photocopying e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3276-3276	Sculpting e' uma sub-classe de Fazer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4624-4624	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 18393-18393

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 12839-12844

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 16765-16775	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 20866-20873	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 15707-15712	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 5452-5459	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 20402-20409	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 5377-5384	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 4227-4235	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 4213-4221	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 5390-5399	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 6857-6864	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 6732-6739	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 5404-5413	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 3562-3572	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 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: