result - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	result e instrument sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2551-2551	O argumento numero 1 de result e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2552-2552	O argumento numero 2 de result e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2549-2549	result e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2550-2550	result e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2548-2548	result e' uma sub-relacao de patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2513-2513	resource e result sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 73-73

antecedent

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.	Mid-level-ontology.kif 20759-20766	actedIn Humano and ContentBearingPhysical Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo Actor e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18836-18842	Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto de Arte Artist e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer e' um atributo de AutonomousAgent Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de Texto Objeto Representendo Conteudo Abstrato e' uma sub-classe de Document Processo e' uma instancia de Escrever Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20733-20742	directed Humano and Filme Processo e' uma instancia de FilmMaking AutonomousAgent e' uma instancia de Organizacao leader AutonomousAgent and Humano Processo e' um agente de AutonomousAgent Filme e' o resultado de Processo FilmDirector e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Entidade Processo causa Entidade suffers Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emprega Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Agente CognitivoROC Processo causa Agente CognitivoROC suffers Agente CognitivoROC and Agente Cognitivo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12850-12854	Processo e' uma instancia de Construcao Entidade e' o resultado de Processo Entidade e' uma instancia de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processo e' uma instancia de CateringService Processo e' um agente de AutonomousAgent Processo termina em ProcessoUST AutonomousAgent e' situado em Objeto customer ProcessoUST and AutonomousAgent Processo Entidade and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Comer Processo e' um agente de ProcessoUST eventLocated Processo and Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20414-20419	Processo e' uma instancia de Copying Objeto e' um recurso 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.	Catalog.kif 172-178	Processo e' uma instancia de Criacao Proposicao e' o resultado de Processo Proposicao e' uma instancia de Proposicao Processo e' um agente de Agente Cognitivo propositionOwner Agente Cognitivo and Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	Objeto e' uma instancia de Antidiuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Intervalo Temporal e' igual a Intervalo Temporal Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10024-10045	Objeto e' uma instancia de Diuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
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.	Merge.kif 12068-12084	Processo e' uma instancia de Deciding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Conjunto ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de ContentBearingPhysical containsFormula ContentBearingPhysical and Entidade Entidade e' um elemento de Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 690-694	Processo e' uma instancia de DevelopingWeaponOfMassDestruction Entidade e' o resultado de Processo Entidade e' uma instancia de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12569-12578	Objeto e' uma instancia de Substancia Elementar Objeto e' uma instancia de Substancia Elementar Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Substancia Composta
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	Processo e' uma instancia de OperationPlanning ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Proposicao Proposicao e' uma instancia de OperationPlan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10862-10870	Processo e' uma instancia de Planejar ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Proposicao Proposicao e' uma instancia de Plano ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	Processo e' uma instancia de Experimenting Entidade e' o resultado de Processo Entidade e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	Processo e' uma instancia de Felling Entidade e' o resultado de Processo EntidadeTEM Entidade e' uma instancia de DeadFn EntidadeTEM EntidadeTEM e' uma sub-classe de PlantStem
No TPTP formula. May not be expressible in strict first order.	Food.kif 3692-3699	Processo e' uma instancia de Fermentation Entidade e' um patient de Processo Entidade e' uma instancia de JuiceOfFn WineGrape Entidade e' o resultado de Processo Entidade e' uma instancia de Wine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 654-660	Objeto e' uma instancia de NuclearWeaponProductionFacility Processo e' uma instancia de DevelopingWeaponOfMassDestruction eventLocated Processo and Objeto Entidade e' o resultado de Processo Entidade e' uma instancia de NuclearWeapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16046-16051	Processo e' uma instancia de Choreographing Proposicao e' o resultado de Processo Processo exprime o conteudo de Proposicao Processo e' uma instancia de Dancar
No TPTP formula. May not be expressible in strict first order.	Food.kif 2687-2692	Processo e' uma instancia de Harvesting Objeto e' o resultado de Processo Objeto e' uma instancia de Mushroom Produce e' um atributo de Objeto

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.	Mid-level-ontology.kif 26317-26328	Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6477-6487	Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	yearOfFounding Organizacao and Numero Inteiro Processo Numero InteiroEAR Numero InteiroEAR engloba tempo de existencia de Processo Numero InteiroEAR e' uma instancia de o ano Numero Inteiro Processo e' uma instancia de Founding Organizacao e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20751-20757	actedIn Humano and ContentBearingPhysical Processo Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17354-17367	Atributo e' um atributo de Objeto Atributo e' uma instancia de Atributo Subjectivo Posicao Temporal Processo and AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Atributo e' um atributo de Objeto e' o resultado de Processo AutonomousAgent acredita que Objeto tem um atributo de Atributo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce e' um atributo de Objeto Objeto e' uma instancia de Fruta ou Vegetal Objeto tem por fim Entidade Entidade e' uma instancia de Harvesting Objeto e' o resultado de Entidade Objeto e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processo termina em Objeto Processo e' uma instancia de Messaging Entidade e' um patient de Processo Objeto e' uma instancia de Telex Processo Entidade Objeto e' um instrumento para Processo Entidade e' o resultado de Processo Entidade define Entidade Entidade e' uma instancia de Texto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 994-1003	Processo e' uma instancia de Crushing Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Processo Processo e' o resultado de Processo Processo e' uma instancia de Mudanca de Forma Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processo e' uma instancia de Curdling Substancia e' um patient de Processo Substancia e' uma instancia de Colloid Processo Substancia Processo e' uma instancia de Separar Processo e' um sub-processo de Processo Substancia e' um patient de Processo Substancia e' o resultado de Processo Substancia e' uma peca de Substancia Substancia e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8725-8735	Entidade e' uma instancia de ChemicalAcid Entidade e' uma instancia de ChemicalBase Processo e' uma instancia de Processo Quimico Entidade e' um patient de Processo Entidade e' um patient de Processo ProcessoS ProcessoS e' uma instancia de ChemicalSalt ProcessoS e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19378-19391	Atributo e' uma instancia de SecondaryColor Atributo e' um atributo de Objeto Processo Objeto, Objeto, Atributo and Atributo Objeto e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' um recurso para Processo Atributo e' um atributo de Objeto Atributo e' um atributo de Objeto Atributo e' uma instancia de Cor Primaria Atributo e' uma instancia de Cor Primaria Atributo e' igual a Atributo
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.	WMD.kif 750-758	Processo e' uma instancia de DismantlingWeaponOfMassDestruction Entidade e' um patient de Processo Processo Processo e' uma instancia de DevelopingWeaponOfMassDestruction Entidade e' o resultado 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.	Food.kif 1190-1205	Processo e' uma instancia de FoamingMilk Entidade e' uma instancia de ProcessedMilk Entidade e' um patient de Processo Processo Processo and Entidade Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Processo e' uma instancia de Aerating Entidade e' um patient de Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Bubble tempo de existencia de Processo acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	Processo e' uma instancia de Gaslighting Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent Processo Processo e' uma instancia de Percepcao AutonomousAgent experimenta Processo causesProposition suffers Processo and AutonomousAgent and AutonomousAgent nao sabe %n Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	Objeto e' uma instancia de Gene Objeto e' situado em Objeto Objeto e' uma instancia de Celula Processo Objeto and Objeto Processo e' uma instancia de Processo Biologico eventLocated Processo and Objeto Processo tem como origem Objeto Objeto e' o resultado de Processo Objeto e' uma instancia de Nucleotide Objeto e' uma &parte de Objeto Objeto e' uma instancia de RNAMolecule Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Corpuscular Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Colecao Entidade Entidade e' membro de Entidade Entidade 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.	Medicine.kif 6219-6228	Buraco e' uma instancia de Laceration Objeto e' uma instancia de Skin Objeto e' igual a o dono do buraco Buraco Objeto e' uma &parte de Objeto Processo Processo e' uma instancia de Cutucar Buraco e' o resultado de 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.	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.	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.	UXExperimentalTerms.kif 2078-2091	Objeto Corpuscular e' uma instancia de ViewItemPage Processo e' uma instancia de WebListing Processo e' um componente de Objeto Corpuscular Entidade e' um patient de Processo Entidade e' uma instancia de Fisico Processo Processo and ProcessoCONTENT Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16824-16832	Proposicao e' uma instancia de Plano ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Proposicao ProposicaoNING ProposicaoNING e' uma instancia de Planejar ContentBearingPhysical e' o resultado de ProposicaoNING
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	Proposicao e' uma instancia de Plano Fisico e' uma instancia de Processo Proposicao define Fisico ProposicaoNING ContentBearingPhysical ProposicaoNING e' uma instancia de Planejar ContentBearingPhysical e' uma instancia de ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical e' o resultado de ProposicaoNING o comeco de tempo de existencia de ProposicaoNING acontence antes de o comeco de tempo de existencia de Fisico o fim de tempo de existencia de ProposicaoNING acontence antes de o fim de tempo de existencia de Fisico

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: