TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14356-14356	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 14358-14359
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 14357-14357	O conceito Organismo e' completamente decomposto em Animal, Planta, Cogumelo, + Microorganismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	Organismo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	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 14348-14348	O conceito Objeto Organico e' completamente decomposto em Organismo + Estructura Anatomica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	Animal e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	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 14451-14451	Microorganismo e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5888	Parasite e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	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 31727-31727	O argumento numero 1 de OrganismPopulationFn e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16350-16350	O argumento numero 1 de ancestor e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16351-16351	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 16438-16438	O argumento numero 1 de daughter e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16439-16439	O argumento numero 2 de daughter e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16332-16332	O argumento numero 1 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	O argumento numero 2 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16426-16426	O argumento numero 1 de father e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16427-16427	O argumento numero 2 de father e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	O argumento numero 1 de inhabits e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16409-16409	O argumento numero 1 de mother e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16410-16410	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 6277-6277	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 6278-6278	O argumento numero 2 de parasite e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16365-16365	O argumento numero 1 de parent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16366-16366	O argumento numero 2 de parent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16311-16311	O argumento numero 1 de relative e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16312-16312	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 16465-16465	O argumento numero 1 de sibling e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16466-16466	O argumento numero 2 de sibling e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16450-16450	O argumento numero 1 de son e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16451-16451	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 16324-16329	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 18117-18122	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 10222-10237	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 10449-10454	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 18085-18089	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 15000-15005	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 15011-15016	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 14816-14821	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 14827-14832	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 16379-16384	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 10154-10156	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 12323-12325	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 12327-12329	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 10149-10152	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 18097-18102	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 18158-18163	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 10252-10258	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 14472-14476	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 11554-11558	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 14431-14435	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 5847-5859	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 12296-12303	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 10143-10147	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 12244-12253	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 14484-14488	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 14921-14927	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 18270-18276	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 15077-15084	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 10440-10447	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 11119-11124	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 14955-14961	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: