TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3035-3036
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11401-11403
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1803-1804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2983-2983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11399-11399	Colocar e' uma sub-classe de Transferencia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12349	Colar e' relacionado internamente por SUMO a Colocar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10894-10894	Aumentar e' relacionado internamente por SUMO a Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17993-17993	Burying e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5485-5485	Concealing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11414	Cobrir e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 676-676	DeployingWeaponOfMassDestruction e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19614-19614	Diluting e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5500-5500	Dressing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18037-18037	Entombing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11420-11420	Inserting e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17887-17887	Installing e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2994-2994	Lubricating e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2577-2577	Planting e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2923-2923	Siltation e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12747-12747	Molhar e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1122-1122
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1461-1461
No TPTP formula. May not be expressible in strict first order.	french_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 335-335
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2484-2484
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 337-337
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 371-371

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.

WMD.kif 581-581

biochemicalAgentAntidote Soman, PyridostigmineBromide and Colocar

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processo e' uma instancia de Colocar Entidade e' um patient de Processo Entidade e' uma instancia de Spice Processo termina em Objeto Objeto e' uma instancia de PreparedFood Processo Atributo Processo e' uma instancia de Mudanca Interna Objeto e' um patient de Processo Atributo e' o resultado de Processo Atributo e' um atributo de Objeto Atributo e' uma instancia de FlavourAttribute Atributo e' uma instancia de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11405-11412	Processo e' uma instancia de Colocar Processo termina em Entidade Entidade e' um patient de Processo Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12178-12188	Processo e' uma instancia de Manter Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Colocar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	Valet e' um atributo de Objeto Objeto tem por fim Entidade e' uma instancia de Vehicle Entidade e' uma instancia de Colocar Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion Entidade e' um patient de Entidade Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	diseaseMedicine Doenca ou Sindrome, Bacitracin and Processo Doenca ou Sindrome e' uma instancia de BacterialDisease Processo e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Food.kif 84-94	Processo e' uma instancia de CuringFood Entidade Processo and Entidade Entidade e' uma instancia de Comida Entidade e' um patient de Processo Processo e' uma instancia de Colocar Processo e' um sub-processo de Processo Entidade e' uma instancia de SodiumChloride Entidade e' um patient de Processo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3356-3366	Fisico e' uma instancia de DisplayArtifact Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Colocar Entidade e' uma instancia de Disseminar Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade termina em Fisico
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	Processo e' uma instancia de DeliveringWeaponOfMassDestruction Processo Entidade and Entidade Processo e' uma instancia de Colocar Processo e' um sub-processo de Processo Entidade e' uma instancia de WeaponOfMassDestruction Entidade e' uma instancia de Arma Entidade e' uma instancia de WeaponOfMassDestruction Entidade e' um patient de Processo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	Entidade e' uma instancia de VaccinatableDisease Entidade Entidade and Processo Entidade e' uma instancia de Vaccine Processo e' uma instancia de Colocar Processo termina em Entidade Entidade e' uma instancia de Humano o argumento Entidade e' um atributo de Entidade vale durante apos tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3020-3028	Fisico e' uma instancia de GreaseFitting Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Grease Entidade e' uma instancia de Colocar Fisico e' o caminho ao longo do qual Entidade ocorre objectTransferred Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3036-3044	Fisico e' uma instancia de GreaseGun Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Grease Entidade e' uma instancia de Colocar Fisico e' um instrumento para Entidade objectTransferred Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	Processo e' uma instancia de OrganTransplant Entidade Objeto and Transferencia Entidade e' uma instancia de Animal Objeto e' uma instancia de Orgao Transferencia e' uma instancia de Colocar Transferencia e' um sub-processo de Processo objectTransferred Transferencia and Objeto Transferencia termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	Objeto e' uma instancia de SparklingWater Processo Entidade and Objeto Processo e' uma instancia de Colocar Entidade e' uma instancia de DrinkingWater Processo termina em Objeto Objeto e' uma instancia de CarbonDioxide Objeto e' o resultado de Processo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	Fisico e' uma instancia de Spice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colocar Fisico e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11454-11466	Processo e' uma instancia de Substituir Processo Processo, Entidade, Entidade and Objeto Processo e' uma instancia de Colocar Processo e' uma instancia de Remover Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Entidade e' um patient de Processo Processo tem como origem Objeto Entidade e' um patient de Processo Processo termina em Objeto Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3669-3676	Entidade e' uma instancia de ATMSlot Processo Entidade Processo e' uma instancia de Colocar Entidade e' um patient de Processo Entidade e' uma instancia de BankCard Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4875-4885	Fisico e' uma instancia de TireChanger Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Colocar Entidade e' uma instancia de Tire Entidade e' uma instancia de WheelRim Entidade termina em Entidade objectTransferred Entidade and Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26739-26748	Fisico e' uma instancia de Easel Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Artefato Flat e' um atributo de Entidade Entidade e' uma instancia de Colocar Entidade e' um patient de Entidade Entidade termina em Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26719-26732	Fisico e' uma instancia de Tripod Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Artefato Entidade e' uma instancia de Colocar Entidade e' um patient de Entidade Entidade termina em Fisico Entidade e' uma instancia de Processo Entidade e' um instrumento para Entidade o fim de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade

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: