TreeView Knowledge Base Browser - IntentionalProcess

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 10488-10489
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 10486-10486	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 10164-10164	AutonomicProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18235-18235	Dreaming e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11191-11191	GeologicalProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10484-10484	NaturalProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19983-19983	Trembling e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11198-11198	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 11139-11139	Ambulating e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7920-7920	Ceremony e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15882-15882	Commenting e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12671-12671	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 13859-13859	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 10850-10850	Designing e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18007-18007	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 18094-18094	Drilling e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13118-13118	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 11607-11607	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 10512-10512	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 20488-20488	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 7369-7369	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 21365-21365	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 10404-10410	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 10491-10496	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 10505-10510	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 14149-14163	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 10498-10503	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 30242-30253	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 12046-12062	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 12014-12026	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 19828-19837	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 26250-26260	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 27047-27069	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 26695-26701	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 16502-16508	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 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: