IntentionalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2930-2931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10510-10511
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1681-1682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10508-10508	Processo Intencional e' uma sub-classe de Processo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10186-10186	AutonomicProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18234-18234	Dreaming e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11213-11213	GeologicalProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10506-10506	NaturalProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19982-19982	Trembling e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	WeatherProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	Os valores retornados por StartFn sao as sub-classes de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 436-436	Os valores retornados por StopFn sao as sub-classes de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11161-11161	Ambulating e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7919-7919	Ceremony e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15881-15881	Commenting e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12693-12693	Desenvolvimento de Conteudo e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13858-13858	CriminalAction e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	WMD.kif 675-675	DeployingWeaponOfMassDestruction e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10872-10872	Designing e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18006-18006	Digging e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	WMD.kif 731-731	DismantlingWeaponOfMassDestruction e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 446-446	Dodging e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18093-18093	Drilling e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13117-13117	Ducking e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1197-1197	EngineersSubprocess e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2489-2489	Evacuation e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11629-11629	Guiar e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1310-1310	ITProcess e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10534-10534	Processo Psicologico Intencional e' uma sub-classe de Processo Intencional

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.	Mid-level-ontology.kif 20487-20487	O argumento numero 1 de OccupationFn e' uma instancia de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4514-4514	O argumento numero 1 de FailureFn e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Law.kif 369-369	O argumento numero 3 de distrusts e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7368-7368	O argumento numero 2 de enjoys e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21364-21364	O argumento numero 2 de hasOccupation e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1643-1643	O argumento numero 2 de industryServiceType e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1661-1661	O argumento numero 2 de organizationServiceType e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Law.kif 358-358	O argumento numero 3 de trusts e' uma sub-classe de Processo Intencional

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and Objeto customer Agente Cognitivo and AutonomousAgent Entidade e' uma instancia de Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo o argumento AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo usa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10403-10409	Objeto e' uma instancia de Musculo Processo e' uma instancia de Movimento do Corpo Objeto e' um instrumento para Processo Processo e' uma instancia de Processo Intencional Objeto e' uma instancia de VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10513-10518	Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent Formula Processo tem finalidade Formula para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10527-10532	Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Animal Acordado e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	Processo e' uma instancia de Processo Intencional ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement Processo Processo, Processo1 and Processo2 Processo e' uma instancia de Offering Processo e' uma instancia de ReachingAgreement Processo inclui uma referencia a Agreement Processo inclui uma referencia a Agreement Processo e' um agente de Processo1 Processo e' um agente de Processo2 tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2732-2738	Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement a idade de Agente Cognitivo e' Numero Real2 YearDuration(s) Numero Real2 e' maior que Numero Real vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Processo e' situado em Area Geopolitica2 Area Geopolitica2 e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement a idade de Agente Cognitivo e' Entidade YearDuration(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Processo Legal e' um atributo de Agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement Sober e' um atributo de Agente Cognitivo vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	Agreement tem um atributo de Contract partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Processo exprime o conteudo de Proposicao consistent Proposicao and Agreement o argumento Entidade Entidade e' uma instancia de Acao Legal plaintiff Entidade and Agente Cognitivo defendant Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10520-10525	Processo e' uma instancia de Processo Intencional AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	AVPUVerbalStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Speaking Processo termina em AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30230-30241	AutonomousAgent e' uma instancia de AutonomousAgent Motionless e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
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.	Merge.kif 12036-12048	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	reservationStart Ponto no tempo and Reservation reservationEnd Ponto no tempo and Reservation reservingEntity AutonomousAgent and Reservation fulfillingEntity AutonomousAgent and Reservation o argumento Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent Entidade termina em AutonomousAgent vale durante o intervalo entre Ponto no tempo e Ponto no tempo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19827-19836	Bored e' um atributo de AutonomousAgent Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent AutonomousAgent deseja Processo e' um agente de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2336-2346	TourArrangementAndReservationServices e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de TourReservation Entidade e' uma instancia de Processo Intencional Entidade e' um agente de Objeto Entidade e' o resultado de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 10451-10461	TravelArrangementAndReservationServices e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de TravelReservation Entidade e' uma instancia de Processo Intencional Entidade e' um agente de Objeto Entidade e' o resultado de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Music.kif 1084-1092	contestEntry Entidade, Agente Cognitivo and Contest Processo Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Entidade e' o resultado de Processo Processo e' uma instancia de Judging Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 889-898	MusicRecording e' igual a RemixFn MusicRecording and Agente Cognitivo Processo Processo e' uma instancia de Processo Intencional MusicRecording e' um patient de Processo Processo e' um agente de Agente Cognitivo MusicRecording e' o resultado de Processo MusicRecording e' igual a MusicRecording MusicRecording e' uma copia exata de MusicRecording
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5215-5224	Coma e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 441-445	Conscious e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Processo Intencional no role agent vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2740-2746	Agente Cognitivo esta' interessado em Entidade Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 239-244	Entidade e' uma instancia de GeneticallyEngineeredOrganism Processo Processo e' uma instancia de Processo Intencional Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2832-2839	Entidade e' uma instancia de ProcessedMilk Processo Entidade Processo e' uma instancia de Processo Intencional Entidade e' uma instancia de CowMilk Entidade e' um patient de Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1072-1078	Entidade e' uma instancia de SyntheticSubstance Processo Processo e' uma instancia de Processo Intencional Entidade e' o resultado de Processo Entidade e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1994-2006	Fisico e' uma instancia de WakeUpService Fisico tem por fim Entidade Entidade, Entidade and Entidade Fisico e' um agente de Entidade Entidade experimenta Fisico Entidade e' uma instancia de Processo Intencional Entidade e' um agente de Entidade Entidade experimenta Entidade Entidade e' uma instancia de WakingUp Entidade experimenta Entidade Entidade e' o resultado de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26238-26248	Fisico e' uma instancia de AudioRecorder Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Som Irradiante Entidade e' uma instancia de Processo Intencional Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27035-27057	Processo e' uma instancia de OperatorAssistedTelephoneCommunication Objeto Entidade and Fisico Processo tem como origem Objeto Processo termina em Entidade Fisico e' uma instancia de Humano Fisico tem por fim Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de Fisico Entidade e' um sub-processo de Processo o argumento Entidade Entidade e' uma instancia de Communicacao Entidade tem como origem Objeto Entidade termina em Entidade tem a forca modal de Possibility vale durante imediatemente apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	Entidade e' uma instancia de PreparedFood Processo Processo e' uma instancia de Processo Intencional Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	Fisico e' uma instancia de TapeRecorder Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Intencional Fisico e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de AudioRecording Entidade e' uma instancia de RecordingTape Entidade e' conectado com Fisico vale durante Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade e' uma &parte de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26683-26689	Entidade e' uma instancia de UniformClothing Processo Entidade Processo e' uma instancia de Processo Intencional Entidade e' o resultado de Processo Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16501-16507	issuedBy Certificado and Agente Cognitivo Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Certificado e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 1165-1172	musicChartBy MusicChart and Agente Cognitivo Processo Entidade Entidade e' uma instancia de MusicChart Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Entidade e' o resultado de Processo

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: