TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2699-2700
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8035-8036
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1422-1423
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8032-8032	O argumento numero 1 de EndFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8029-8029	EndFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8031-8031	EndFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8030-8030	EndFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8033-8033	O contra-dominio de EndFn e' uma instancia de Ponto no tempo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 451-451
No TPTP formula. May not be expressible in strict first order.	english_format.kif 457-457
No TPTP formula. May not be expressible in strict first order.	french_format.kif 262-262
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 92-92
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2052-2052
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 268-268
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 589-589
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 132-132
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 283-283
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 288-288
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 199-199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22042-22042
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 452-452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22041-22041
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22040-22040
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 200-200

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8108-8116	O comeco de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8076-8084	O comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22919-22924	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent benefits Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29583-29592	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent suffers Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12419	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectAttached Processo and Entidade objectAttached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount e' uma instancia de CertificateOfDeposit maturityDate FinancialAccount and Dia Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount a data de Processo e' Dia o fim de Dia comeca antes de o comeco de Dia Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	Processo e' uma instancia de Mudanca de Dono Entidade e' um patient de Processo Entidade possui Entidade vale durante o comeco de tempo de existencia de Processo Entidade possui Entidade vale durante o fim de tempo de existencia de Processo Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12453-12462	Processo e' uma instancia de Descolar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectDetached Processo and Entidade objectDetached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2456-2466	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Fisico e' uma instancia de Area Geopolitica Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Fisico vale durante o fim de tempo de existencia de Processo Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8376-8386	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8284-8289	Intervalo Temporal e' uma instancia de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o fim de Intervalo Temporal Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8291-8301	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12826-12832	Fisico e' um patient de Processo Fisico existe durante o fim de tempo de existencia de Processo Fisico nao existe %n durante o comeco de tempo de existencia de Processo Processo e' uma instancia de Criacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8047-8052	Objeto e' um recurso para Processo a medida de Objeto e' Numero Real vale durante o comeco de tempo de existencia de Processo a medida de Objeto e' Numero Real vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	transactionAmount Transacao Financeira and Medida de Divisa a data de Transacao Financeira e' Dia FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira termina em CurrencyFn FinancialAccount amountDue FinancialAccount, Medida de Divisa and Intervalo Temporal o fim de Dia comeca antes de o comeco de Intervalo Temporal Transacao Financeira e' uma instancia de Prepayment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8404-8406	O fim de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8038-8045	O fim de Intervalo Temporal e' igual a Ponto no tempo Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo e' igual a Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8361-8365	O fim de Intervalo Temporal e' igual a o comeco de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1270-1284	Intervalo Temporal Intervalo Temporal dependencyDelay Programa de Computador and Duracao Temporal dependencyType Programa de Computador and ShutdownBlock hasDependency Programa de Computador and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal tempo de existencia de ComputerProcess e' igual a Intervalo Temporal o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal

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.	Merge.kif 12488-12495	Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, Medida de Divisa and Posicao Temporal accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	birthdate JesusOfNazareth and Dia Intervalo Temporal e' uma instancia de o ano -6 Intervalo Temporal e' uma instancia de o ano 4 Dia e' uma &parte de o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1943-1948	deathdate JesusOfNazareth and Dia Intervalo Temporal e' uma instancia de o ano 29 Intervalo Temporal e' uma instancia de o ano 36 Dia e' uma &parte de o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15537-15554	Edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21494-21505	Processo e' uma instancia de Aborting Entidade e' um patient de Processo Entidade e' uma instancia de Woman Pregnant e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Pregnant e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17142-17163	Processo e' uma instancia de Accelerating Processo e' um agente de AutonomousAgent Numero Real Numero Real, Numero Real, Numero Real, Entidade and Entidade a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	Intervalo Temporal e' uma instancia de ActivatingUIElement Entidade e' um patient de Intervalo Temporal Entidade e' uma instancia de GUIElement hasGUEState Entidade and GUE_ActiveState vale durante o fim de Intervalo Temporal hasGUEState Entidade and GUE_ActiveState vale durante o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	Intervalo Temporal e' uma instancia de BringingGEToFront Entidade e' um patient de Intervalo Temporal Entidade e' uma instancia de InterfaceWindow hasGUEState Entidade and Atributo vale durante o comeco de Intervalo Temporal Atributo e' &o oposto de GUE_UncoveredState hasGUEState Entidade and Atributo vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2347-2354	Intervalo Temporal e' uma instancia de BringingGEToFront Entidade e' um patient de Intervalo Temporal Entidade e' uma instancia de InterfaceWindow hasGUEState Entidade and GUE_UncoveredState vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12678-12691	Processo e' uma instancia de Mudanca de Forma Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Atributo de Forma Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12638-12651	Processo e' uma instancia de Mudanca Superficial Objeto e' um patient de Processo Objeto Entidade Objeto e' uma parte superficial de Objeto Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12382-12389	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16342-16352	Processo e' uma instancia de BecomingDrunk AutonomousAgent experimenta Processo Sober e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Drunk e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17385-17396	Processo e' uma instancia de Boarding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo onboard AutonomousAgent and Entidade vale durante o comeco de tempo de existencia de Processo onboard AutonomousAgent and Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17426-17438	Processo e' uma instancia de Deboarding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo onboard AutonomousAgent and Entidade vale durante o comeco de tempo de existencia de Processo onboard AutonomousAgent and Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	Comida e' uma instancia de Objeto roastedToTemperature Comida and Numero Real Processo Processo e' uma instancia de Aquecer Comida e' um patient de Processo a medida de Comida e' Numero Real CelsiusDegree(s) vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16362-16372	Processo e' uma instancia de SoberingUp AutonomousAgent experimenta Processo Drunk e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sober e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Sangue Entidade e' uma &parte de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	Processo e' uma instancia de Ferver Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23778	Processo e' uma instancia de CausingHappiness Entidade e' um patient de Processo Happiness e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Happiness e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23788-23799	Processo e' uma instancia de CausingUnhappiness Entidade e' um patient de Processo Unhappiness e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Unhappiness e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	Processo e' uma instancia de ChurningButter Entidade e' uma instancia de Emulsion Entidade e' um patient de Processo Entidade Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Milk vale durante o comeco de tempo de existencia de Processo Entidade e' igual a Entidade Entidade e' uma instancia de Butter vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	Processo e' uma instancia de Cricothyroidotomy Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Buraco Entidade e' igual a o dono do buraco Entidade Entidade e' uma instancia de Throat Entidade e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo

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)

KB Term:			Term intersection

English Word: