TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1633-1641
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 296-301
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6793-6793
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1632-1632	Processo e' uma sub-classe de Fisico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2375-2375	SEO e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	O contra-dominio de AbortedFn e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4510-4510	Os valores retornados por FailureFn sao as sub-classes de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19456-19456	Os valores retornados por OperatingFn sao as sub-classes de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1303-1303	AddToCart e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Media.kif 164-164	AgentPatientProcess e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31918-31918	BreakingRecord e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25410-25410	CausingHappiness e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25431-25431	CausingUnhappiness e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1457-1457	Checkout e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	ContentBearingProcess e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1643-1643	Processo Dual e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10624-10624	Processo Intencional e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12746-12746	Mudanca Interna e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9095-9095	LargeGroupProcess e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11151-11151	Movimento e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10620-10620	NaturalProcess e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2303-2303	PowerGeneration e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1656-1656	SingleAgentProcess e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1587-1587	WatchItem e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 851-851	WatchItem e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	english_format.kif 904-904	WatchItem e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	french_format.kif 527-527	WatchItem e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 58-58	WatchItem e' uma sub-classe de Processo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2412-2412	O argumento numero 2 de AbortedFn e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 414-414	O argumento numero 1 de StartFn e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 428-428	O argumento numero 1 de StopFn e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 551-551	O argumento numero 3 de ageOfMajorityForProcess e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2444-2444	O argumento numero 1 de agent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24553-24553	O argumento numero 1 de benefits e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3793-3793	O argumento numero 1 de causes e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3794-3794	O argumento numero 2 de causes e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17291-17291	O argumento numero 2 de commentator e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2826-2826	O argumento numero 2 de conversionEvent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1696-1696	O argumento numero 1 de coordinates e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1697-1697	O argumento numero 2 de coordinates e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2455-2455	O argumento numero 1 de destination e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17113-17113	O argumento numero 1 de direction e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4139-4139	O argumento numero 1 de eventLocated e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4115-4115	O argumento numero 1 de eventPartlyLocated e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4333-4333	O argumento numero 2 de exclusiveEvent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2469-2469	O argumento numero 1 de experiencer e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3825-3825	O argumento numero 2 de experimentalControlProcess e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3872-3872	O argumento numero 2 de experimentalVariableProcess e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4417-4417	O argumento numero 1 de hinders e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2482-2482	O argumento numero 1 de instrument e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2425-2425	O argumento numero 1 de involvedInEvent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 193-193	O argumento numero 1 de judge e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1742-1742	O argumento numero 1 de manner e' uma instancia de Processo

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.	Mid-level-ontology.kif 24893-24899	Role em Caso Processo and Objeto Role em Caso e' uma instancia de Role em Caso Processo e' uma instancia de Processo Objeto e' uma instancia de Objeto playsRoleInEvent Objeto, Role em Caso and Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19972-19977	equal Organizacao and DepartmentOfPreventingFn Organizacao and Fisico Fisico e' uma sub-classe de Processo Organizacao e' uma parte da organizacao Organizacao Organizacao inhibe Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 847-868	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 548-563	freePropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo price Processo, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17274-17287	Processo e' uma instancia de Commenting Entidade e' uma instancia de Processo Entidade e' um patient de Processo AutonomousAgent Processo and Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Speaking Processo e' uma instancia de Looking Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3009-3017	Objeto e' uma instancia de ElectricDevice Processo e' uma instancia de Processo Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Electricity Objeto e' um recurso para Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent Experimenting e' uma instancia de Experimenting treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta Processo exclusiveEvent Experimenting and Processo ExperimentingERIMENTER ExperimentingERIMENTER e' uma instancia de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER acredita que o argumento Processo causa Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7554-7558	Fisico e' uma instancia de Processo a medida de Fisico e' Quantidade Fisica Quantidade Fisica e' uma instancia de Quantidade Dependente do Tempo
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25147-25152	Processo e' uma instancia de Processo eventLocated Processo and Objeto Processo e' um sub-processo de Processo eventLocated Processo and Objeto
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 equal o comeco de tempo de existencia de AccessingWebPage and o comeco de tempo de existencia de Fisico equal o comeco de tempo de existencia de Intervalo Temporal and o fim de tempo de existencia de Fisico equal TTFxFn Intervalo Temporal_CLASS and AccessingWebPage and Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2719-2725	Processo e' uma instancia de Processo Fisico e' um patient de Processo Fisico e' uma instancia de Agua a medida de Fisico e' Numero Real PHValue(s) Numero Real e' menos que 5.6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3923-3929	Role em Caso e' uma instancia de Role em Caso Role em Caso Entidade and Objeto Entidade e' uma instancia de Processo Processo e' uma sub-classe de Processo Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processo e' uma instancia de MultivariateTest Experimenting e' um sub-processo de Processo Experimenting e' um sub-processo de Processo Experimenting e' uma instancia de Experimenting Experimenting e' uma instancia de Experimenting Processo e' uma instancia de Processo Processo e' uma instancia de Processo experimentalVariableProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo Processo e' uma instancia de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo equal Processo and Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP controlGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP treatmentGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao Experimenting Fisico Processo Experimenting e' uma instancia de Experimenting Fisico e' uma instancia de Processo Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de Processo Humano e' capaz de fazer Processo no role experiencer Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Processo Experimenting FisicoESS Experimenting e' uma instancia de Experimenting Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de FisicoESS Humano e' capaz de fazer FisicoESS no role experiencer equal QualifiedTreatmentsFn Humano and Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33261-33268	memberMeasure Conjunto, MeasurementAttribute and Duracao Temporal Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33270-33277	memberMeasure Classe, Frequency and Duracao Temporal Classe e' uma instancia de Classe AutonomousAgent e' uma instancia de Classe Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2438-2448	naturalHazardTypeInArea Area Geografica and Fisico Fisico e' uma sub-classe de Processo Fisico Fisico e' uma instancia de Fisico Fisico e' situado em Area Geografica tempo de existencia de Area Geografica engloba tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo AutonomousAgent e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Processo AutonomousAgent e' capaz de fazer Entidade no role agent

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.	emotion.kif 374-387	AppraisalAsJustTreatment e' um atributo de Agente Cognitivo Agente CognitivoJT e' uma instancia de AppraisalProcess Agente CognitivoJT e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoJT inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 equal Agente Cognitivo and Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo quer Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment e' um atributo de Agente Cognitivo Agente CognitivoUJ e' uma instancia de AppraisalProcess Agente CognitivoUJ e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoUJ inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 equal Agente Cognitivo and Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo nao quer Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 815-836	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2550-2564	Processo e' uma instancia de Evacuation Processo tem como origem Area Geografica Processo e' um agente de Agente Cognitivo Processo Processo e' uma instancia de Processo geographicSubregion Area Geografica and o lugar onde Processo estava em o comeco de tempo de existencia de Processo Processo causa Processo Agente Cognitivo acredita que Dangerous e' um atributo de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	Experimenting e' uma instancia de Experimenting Humano e' uma instancia de Humano experimentalSubject Experimenting and Humano Processo Processo e' uma instancia de Processo Humano experimenta Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3450-3478	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processo e' uma instancia de MultivariateTest Experimenting e' um sub-processo de Processo Experimenting e' um sub-processo de Processo Experimenting e' uma instancia de Experimenting Experimenting e' uma instancia de Experimenting Processo e' uma instancia de Processo Processo e' uma instancia de Processo experimentalVariableProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo Processo e' uma instancia de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo equal Processo and Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 287-303	ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31922-31952	Processo e' uma instancia de BreakingRecord Processo e' um agente de AutonomousAgent Conjunto Classe, Processo, Ponto no tempo, Role em Caso, Objeto and Entidade Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Classe e' uma sub-classe de Processo Objeto e' uma instancia de Regiao Ponto no tempo e' uma instancia de Ponto no tempo Entidade e' uma instancia de Quantidade Processo e' uma instancia de Classe Processo inclui uma referencia a Entidade Entidade inclui uma referencia a Processo playsRoleInEvent AutonomousAgent, Role em Caso and Processo eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de Conjunto equal Entidade and AutonomousAgent Entidade e' uma instancia de Classe playsRoleInEvent Entidade, Role em Caso and Entidade eventLocated Entidade and Objeto vale durante o intervalo entre Ponto no tempo e o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3592-3613	WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28872-28898	Fisico e' uma instancia de SurveillanceSystem Fisico e' membro de Colecao Fisico e' membro de Colecao Colecao e' situado em Objeto Colecao e' uma instancia de Camera Colecao e' situado em Objeto equal Objeto and Objeto Colecao e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Objeto Entidade define Entidade Camera e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Luz Irradiante Colecao e' um instrumento para Entidade Entidade e' um patient de Entidade o comeco de Entidade comeca antes de o comeco de Entidade o comeco de Entidade comeca antes de o comeco de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17929-17941	issuedBy Certificado and Agente Cognitivo Certificado e' uma instancia de Ticket AutonomousAgent possui Certificado confersNorm Agente Cognitivo, Entidade Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Agente Cognitivo AutonomousAgent experimenta Entidade vale durante Entidade and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33261-33268	memberMeasure Conjunto, MeasurementAttribute and Duracao Temporal Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33270-33277	memberMeasure Classe, Frequency and Duracao Temporal Classe e' uma instancia de Classe AutonomousAgent e' uma instancia de Classe Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22683-22697	NewsReporter e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo tempo de existencia de Objeto engloba tempo de existencia de Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Newspaper Entidade e' uma sub-classe de NewsProgram Objeto e' o autor de Entidade Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6890-6898	ServiceInEconomics e' um atributo de Objeto Entidade Objeto e' uma instancia de Processo Objeto tem por fim Entidade e' uma instancia de Vender Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout e' um atributo de Objeto Objeto e' uma instancia de Comodo Objeto Objeto and Objeto Objeto e' uma instancia de Regiao Objeto e' uma instancia de Regiao Objeto e' situado em Objeto Objeto e' situado em Objeto equal Objeto and Objeto Objeto e' Adjacent em relacao a Objeto Formula Formula Formula e' uma instancia de Processo Formula e' uma instancia de Processo Objeto tem por fim Formula Objeto tem por fim Formula Objeto e' uma instancia de AutonomousAgent Objeto e' situado em Objeto Objeto e' capaz de fazer Visao no role agent Objeto e' capaz de fazer Visao no role patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4432-4437	ABTest e' um atributo de Objeto Processo Processo e' uma instancia de Processo experimentalVariableProcess Objeto and Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2563-2570	businessUnit Organizacao and Business Organizacao tem por fim Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Organizacao benefits Entidade and Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 991-999	dateUsed Objeto, Intervalo Temporal and AutonomousAgent Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent AutonomousAgent usa Objeto tempo de existencia de Processo engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1031-1052	equal Medida de Divisa and GrossNationalProductFn Area Geopolitica and Ano Colecao Colecao e' uma instancia de Colecao o valor de Colecao e' Medida de Divisa Processo e' uma instancia de Manufatura Fisico e' o resultado de Processo Processo e' um agente de ProcessoAKER ProcessoAKER e' membro de CitizenryFn Area Geopolitica finishesDuring tempo de existencia de Processo and Ano Fisico e' membro de Colecao Objeto e' uma instancia de Processo ServiceInEconomics e' um atributo de Objeto Objeto e' um agente de AutonomousAgent AutonomousAgent e' membro de CitizenryFn Area Geopolitica finishesDuring tempo de existencia de Objeto and Ano Objeto e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	exclusiveEvent Experimenting and Processo Processo Humano Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta 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.	Mid-level-ontology.kif 32641-32661	SafetyPosition e' um atributo de Entidade vale durante Posicao Temporal Entidade tem por fim Entidade Entidade, Entidade and Posicao Temporal2 Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade 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: