TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14378-14378	Organismo e' disjunto de Artefato
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14380-14381
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6747-6747
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7483-7483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7484-7484
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7487-7487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14379-14379	O conceito Organismo e' completamente decomposto em Animal, Planta, Cogumelo, + Microorganismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14377-14377	Organismo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14376	Organismo e' uma sub-classe de Objeto Organico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	O conceito Objeto Organico e' completamente decomposto em Organismo + Estructura Anatomica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14468-14468	Animal e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14447-14447	Cogumelo e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	GeneticallyEngineeredOrganism e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14473-14473	Microorganismo e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5887-5887	Parasite e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14421-14421	Planta e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	ToxicOrganism e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1135-1135
No TPTP formula. May not be expressible in strict first order.	french_format.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 175-175
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2325-2325
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 593-593
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 209-209
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 662-662
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 176-176

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31723-31723	O argumento numero 1 de OrganismPopulationFn e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16372-16372	O argumento numero 1 de ancestor e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16373-16373	O argumento numero 2 de ancestor e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 506-506	O argumento numero 1 de coreBodyTemp e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16460-16460	O argumento numero 1 de daughter e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16461-16461	O argumento numero 2 de daughter e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16354-16354	O argumento numero 1 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16355-16355	O argumento numero 2 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16448-16448	O argumento numero 1 de father e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16449-16449	O argumento numero 2 de father e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14392-14392	O argumento numero 1 de inhabits e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16431-16431	O argumento numero 1 de mother e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16432-16432	O argumento numero 2 de mother e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6276-6276	O argumento numero 1 de parasite e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6277-6277	O argumento numero 2 de parasite e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16387-16387	O argumento numero 1 de parent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16388-16388	O argumento numero 2 de parent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	O argumento numero 1 de relative e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16334-16334	O argumento numero 2 de relative e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6448-6448	O argumento numero 1 de sheddingBodyPart e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16487-16487	O argumento numero 1 de sibling e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16488-16488	O argumento numero 2 de sibling e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16472-16472	O argumento numero 1 de son e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16473-16473	O argumento numero 2 de son e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 87-87	O argumento numero 1 de AgentOfOrganismFn e' uma sub-classe de Organismo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16346-16351	Existe uma relacao legal entre Entidade e Entidade vale durante Posicao Temporal Entidade e' uma instancia de Organismo Entidade e' uma instancia de Organismo relative Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18139-18144	Objeto e' uma instancia de Corpo Reprodutor Objeto e' uma &parte de Objeto Objeto e' uma instancia de Organismo Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto Organico Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo Entidade e' uma &parte de Entidade vale durante imediatemente apos tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	Processo e' uma instancia de Morte Entidade e' uma instancia de OrganismRemains AutonomousAgent e' uma instancia de Organismo Entidade e' uma &parte de Entidade vale durante Intervalo Temporal Entidade e' uma &parte de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal AutonomousAgent experimenta Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	Processo e' uma instancia de Morte Entidade e' uma instancia de OrganismRemains AutonomousAgent e' uma instancia de Organismo Entidade e' uma &parte de Entidade vale durante Intervalo Temporal Entidade e' uma &parte de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade e' o resultado de Processo AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10471-10476	Processo e' uma instancia de Causar Dano Entidade e' uma instancia de Organismo Entidade e' um patient de Processo Processo e' uma instancia de Ferir
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	Objeto e' uma instancia de Organismo Objeto e' uma instancia de Egg Embryonic e' um atributo de Objeto Objeto e' uma &parte de Objeto Fisico Fisico e' uma instancia de EggYolk Fisico tem por fim Entidade Entidade e' uma instancia de Ingerir Entidade e' um agente de Objeto Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18107-18111	AutonomousAgent e' uma instancia de Organismo Processo e' um agente de AutonomousAgent Living e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	Entidade e' uma instancia de ForestProduct Processo e' uma instancia de Manufatura Entidade e' o resultado de Processo Entidade e' um patient de Processo Entidade e' uma instancia de Organismo Processo Objeto Processo e' uma instancia de Agriculture Entidade e' o resultado de Processo eventLocated Processo and Objeto Objeto e' uma instancia de Forest
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	Entidade e' uma instancia de SheddingPart Entidade Entidade and Entidade Entidade e' uma instancia de EntidadeRG EntidadeRG e' uma sub-classe de Organismo EntidadeART Entidade e' uma instancia de DeadFn EntidadeART initialPart EntidadeART and EntidadeRG
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6412-6423	Entidade e' uma instancia de SheddingPart Entidade Objeto and Objeto Objeto e' uma instancia de Organismo Objeto e' uma instancia de Estructura Anatomica Objeto e' uma &parte de Objeto Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	Entidade e' uma instancia de Objeto Organico Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade e' o resultado de Processo Entidade e' uma instancia de OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15022-15027	Objeto e' uma instancia de AnimalAnatomicalStructure Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15033-15038	Objeto e' uma instancia de PlantAnatomicalStructure Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Planta
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14838-14843	Objeto e' uma instancia de AnimalSubstance Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14849-14854	Objeto e' uma instancia de PlantSubstance Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Planta
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16401-16406	Organismo e' um genitor de Organismo Classe e' uma sub-classe de Organismo Organismo e' uma instancia de Classe Organismo e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10176-10178	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Processo Biologico no role experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12345-12347	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Matar no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12351	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Matar no role patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10171-10174	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Processo Biologico no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18119-18124	Objeto e' uma instancia de Organismo Atributo Atributo e' uma instancia de Atributo de Animacao Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18180-18185	Objeto e' uma instancia de Organismo Atributo Atributo e' uma instancia de Atributo Desenvolvimental Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 96-99	Fisico e' uma instancia de Organismo Living e' um atributo de Fisico vale durante tempo de existencia de Fisico

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	Numero Real McgPerKg(s) e' igual a PerFn Medida de Massa and Medida de Massa Medida de Massa e' igual a Numero Real um milhonesimo de Gram(s) Medida de Massa e' igual a Numero Real 1 mil Grams(s) Processo Objeto auto-conectado and Objeto auto-conectado Processo e' uma instancia de Ingerir Objeto auto-conectado e' uma instancia de Substancia Biologica Ativa Objeto auto-conectado e' uma instancia de Organismo Objeto auto-conectado e' um patient de Processo Processo e' um agente de Objeto auto-conectado weight Objeto auto-conectado and Medida de Massa weight Objeto auto-conectado and Medida de Massa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Organico e' uma sub-classe de Organismo Objeto Organico e' uma sub-classe de Estructura Anatomica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10274-10280	Processo e' uma instancia de Ingerir Objeto e' um recurso para Processo Objeto e' uma instancia de FoodForFn Organismo Objeto e' uma instancia de Medicine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	Processo e' uma instancia de BiochemicalAttack Entidade e' um patient de Processo Entidade e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14494-14498	Organismo e' uma instancia de Bacteria Organismo vive em Objeto Objeto e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11553-11557	Processo e' uma instancia de Chewing Objeto e' um recurso para Processo Objeto e' uma instancia de FoodForFn Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14453-14457	Organismo e' uma instancia de Cogumelo Organismo vive em Objeto Objeto e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Movimento Processo and AutonomousAgent Movimento e' uma instancia de Translocation moves Movimento and AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' uma instancia de Reproducao AutonomousAgent experimenta Processo Movimento e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12318-12325	Processo e' uma instancia de Matar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Organismo Entidade e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10165-10169	Processo e' uma instancia de Processo Biologico AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12266-12275	Processo e' uma instancia de Processo Terapeutico Objeto e' um patient de Processo Objeto e' uma instancia de Organismo Objeto Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	Fisico e' uma instancia de OrganismRemains Entidade e' uma &parte de Fisico vale durante tempo de existencia de Fisico Fisico Fisico e' uma instancia de Organismo tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico tempo de existencia de Fisico termina em tempo de existencia de Fisico Entidade e' uma &parte de Fisico vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14506-14510	Organismo e' uma instancia de Virus Organismo vive em Objeto Objeto e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	RawAttribute e' um atributo de Objeto Objeto e' uma instancia de FoodForFn Organismo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	diseaseMortality Doenca ou Sindrome and Numero Real a probabilidade de Entidade Entidade e' uma instancia de Organismo Doenca ou Sindrome e' um atributo de Entidade sabendo que Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade vale e' Numero Real
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	Objeto e' uma instancia de ChemicalAgent Objeto Processo and Objeto Objeto e' uma instancia de Organismo Processo e' uma instancia de Processo Biologico Objeto e' um instrumento para Processo Objeto e' o resultado de Processo Objeto e' uma copia exata de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14943-14949	Entidade e' uma instancia de Estructura Anatomica Fisico Posicao Temporal Fisico e' uma instancia de Organismo Posicao Temporal e' uma &parte de tempo de existencia de Fisico Entidade e' uma &parte de Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	Fisico e' uma instancia de BiochemicalAttack Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um patient de Entidade Fisico causa Entidade Entidade e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18292-18298	Entidade e' uma instancia de Atributo Psicologico Entidade e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Organismo Living e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	Fisico e' uma instancia de Catheter Fisico tem por fim Entidade Entidade, EntidadeBJ and Entidade Entidade e' uma instancia de Organismo Entidade e' uma instancia de Movimento moves Entidade and EntidadeBJ Entidade e' Outside em relacao a Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade tem como origem Entidade Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 570-577	Transferencia e' uma instancia de Catheterization TransferenciaATH Entidade TransferenciaATH e' uma instancia de Catheter Entidade e' uma instancia de Organismo objectTransferred Transferencia and TransferenciaATH Transferencia termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15099-15106	Objeto e' uma instancia de parte do corpo recobrindo outra Objeto Objeto e' uma parte superficial de Objeto Objeto e' uma instancia de Organismo Objeto e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10462-10469	Processo e' uma instancia de Ferir Processo e' uma instancia de Causar Dano Entidade Entidade e' uma instancia de Organismo Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11141-11146	Processo e' uma instancia de Movimento do Corpo AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14977-14983	Entidade e' uma instancia de Parte do Corpo Fisico Posicao Temporal Fisico e' uma instancia de Organismo Posicao Temporal e' uma &parte de tempo de existencia de Fisico Entidade e' um componente de Fisico vale durante Posicao Temporal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: