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 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	Processus intentionnel est une sous-classe de processus

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10164-10164	AutonomicProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18235-18235	Dreaming est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11191-11191	GeologicalProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10484-10484	NaturalProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19983-19983	Trembling est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11198-11198	WeatherProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	Les valeurs retourn�es par StartFn sont des sous-classes de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 436-436	Les valeurs retourn�es par StopFn sont des sous-classes de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11139-11139	Ambulating est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7920-7920	Ceremony est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15882-15882	Commenting est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12671-12671	D�veloppement de contenu est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13859-13859	CriminalAction est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 675-675	DeployingWeaponOfMassDestruction est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10850-10850	Designing est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18007-18007	Digging est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 731-731	DismantlingWeaponOfMassDestruction est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 446-446	Dodging est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18094-18094	Drilling est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13118-13118	Ducking est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1197-1197	EngineersSubprocess est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2489-2489	Evacuation est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11607-11607	Guider est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1310-1310	ITProcess est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10512-10512	Processus psycholoqique intentionnel est une sous-classe de processus intentionnel

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	Le nombre 1 argument de OccupationFn est une instance de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4514-4514	Le nombre 1 argument de FailureFn est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Law.kif 369-369	Le nombre 3 argument de distrusts est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7369-7369	Le nombre 2 argument de enjoys est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21365-21365	Le nombre 2 argument de hasOccupation est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1643-1643	Le nombre 2 argument de industryServiceType est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1661-1661	Le nombre 2 argument de organizationServiceType est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Law.kif 358-358	Le nombre 3 argument de trusts est une sous-classe de processus intentionnel

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and objet customer agent cognitif and AutonomousAgent entit� est une instance de objet agent cognitif desire entit� entit� est une instance de processus intentionnel entit� est un patient de entit� entit� est un agent de agent cognitif l'argument AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif utilise entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10404-10410	Objet est une instance de muscle processus est une instance de mouvement du corps objet est un instrument pour processus processus est une instance de processus intentionnel objet est une instance de VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10491-10496	Processus est une instance de processus intentionnel processus est un agent de AutonomousAgent formule processus a le but formule pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10505-10510	Processus est une instance de processus intentionnel processus est un agent de AutonomousAgent AutonomousAgent est une instance de animal r�veill� est un attribut de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	Processus est une instance de processus intentionnel ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement processus processus, processus1 and processus2 processus est une instance de Offering processus est une instance de ReachingAgreement processus inclut une r�f�rence � Agreement processus inclut une r�f�rence � Agreement processus est un agent de processus1 processus est un agent de processus2 temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2732-2738	Processus est une instance de processus intentionnel processus est un agent de agent cognitif agent cognitif est une instance de agent cognitif entit� est un patient de processus agent cognitif est interess� par entit�
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement l' agent cognitif est nombre r�el2 YearDuration(s) nombre r�el2 est plus grand que nombre r�el pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation processus est situ� � secteur g�opolitique2 secteur g�opolitique2 est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement l' agent cognitif est entit� YearDuration(s) entit� est plus grand que nombre r�el pendant temps d'existence de processus Legal est un attribut de Agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement Sober est un attribut de agent cognitif pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14149-14163	Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10498-10503	Processus est une instance de processus intentionnel AutonomousAgent AutonomousAgent est une instance de agent cognitif processus est un agent de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	AVPUVerbalStatus est un attribut de AutonomousAgent pendant interval temporel processus est une instance de Speaking processus aboutit � AutonomousAgent temps d'existence de processus prend place pendant interval temporel processus processus est une instance de processus intentionnel processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	AutonomousAgent est une instance de AutonomousAgent Motionless est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de mouvement du corps processus est une instance de processus intentionnel processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	Processus est une instance de Deciding processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de ensemble ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de ContentBearingPhysical containsFormula ContentBearingPhysical and entit� entit� est un entit� entit� est une instance de processus intentionnel entit� est un agent de AutonomousAgent pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	Processus est une instance de Deciding processus est un agent de agent cognitif ensemble est une instance de ensemble ensemble est un patient de processus entit� est un ensemble agent cognitif croit entit� entit� est une instance de entit� entit� est une sous-classe de processus intentionnel agent cognitif est capable de faire entit� dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	reservationStart point temporel and Reservation reservationEnd point temporel and Reservation reservingEntity AutonomousAgent and Reservation fulfillingEntity AutonomousAgent and Reservation l'argument entit� entit� est une instance de processus intentionnel entit� est un agent de AutonomousAgent entit� aboutit � AutonomousAgent pendant l'intervale entre point temporel et point temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19828-19837	Bored est un attribut de AutonomousAgent processus processus est une instance de processus intentionnel processus est un agent de AutonomousAgent AutonomousAgent desire processus est un agent de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2336-2346	TourArrangementAndReservationServices est un attribut de objet objet a pour but entit� entit� entit� est une instance de TourReservation entit� est une instance de processus intentionnel entit� est un agent de objet entit� est le resultat de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 10451-10461	TravelArrangementAndReservationServices est un attribut de objet objet a pour but entit� entit� entit� est une instance de TravelReservation entit� est une instance de processus intentionnel entit� est un agent de objet entit� est le resultat de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Music.kif 1084-1092	contestEntry entit�, agent cognitif and affrontement processus processus processus est une instance de processus intentionnel processus est un agent de agent cognitif entit� est le resultat de processus processus est une instance de Judging entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Music.kif 889-898	MusicRecording est RemixFn MusicRecording and agent cognitif processus processus est une instance de processus intentionnel MusicRecording est un patient de processus processus est un agent de agent cognitif MusicRecording est le resultat de processus MusicRecording est MusicRecording MusicRecording est une copie exact de MusicRecording
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5215-5224	Coma est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de processus intentionnel processus est un agent de AutonomousAgent interval temporel prend place pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 441-445	Conscious est un attribut de entit� pendant position temporel entit� est capable de faire processus intentionnel dans le r�le agent pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2740-2746	Agent cognitif est interess� par entit� processus processus est une instance de processus intentionnel processus est un agent de agent cognitif entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 239-244	Entit� est une instance de GeneticallyEngineeredOrganism processus processus est une instance de processus intentionnel entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 2832-2839	Entit� est une instance de ProcessedMilk processus entit� processus est une instance de processus intentionnel entit� est une instance de CowMilk entit� est un patient de processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1072-1078	Entit� est une instance de SyntheticSubstance processus processus est une instance de processus intentionnel entit� est le resultat de processus entit� est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1994-2006	Physique est une instance de WakeUpService physique a pour but entit� entit�, entit� and entit� physique est un agent de entit� entit� exp�rimente physique entit� est une instance de processus intentionnel entit� est un agent de entit� entit� exp�rimente entit� entit� est une instance de WakingUp entit� exp�rimente entit� entit� est le resultat de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26250-26260	Physique est une instance de AudioRecorder physique a pour but entit� entit� and entit� entit� est une instance de son irradiant entit� est une instance de processus intentionnel physique est un instrument pour entit� entit� est un patient de entit� entit� est le resultat de entit� entit� est une instance de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27047-27069	Processus est une instance de OperatorAssistedTelephoneCommunication objet entit� and physique processus a pour origine objet processus aboutit � entit� physique est une instance de humain physique a pour but entit� entit� est une instance de processus intentionnel entit� est un agent de physique entit� est un sous-processus de processus l'argument entit� entit� est une instance de communication entit� a pour origine objet entit� aboutit � entit� a la force modale de Possibility pendant immediatement apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	Entit� est une instance de PreparedFood processus processus est une instance de processus intentionnel entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	Physique est une instance de TapeRecorder physique a pour but entit� entit� and entit� entit� est une instance de processus intentionnel physique est un instrument pour entit� entit� est le resultat de entit� entit� est une instance de AudioRecording entit� est une instance de RecordingTape entit� est connect� � physique pendant entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� est une partie de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26695-26701	Entit� est une instance de UniformClothing processus entit� processus est une instance de processus intentionnel entit� est le resultat de processus entit� d�finie entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16502-16508	issuedBy certificat and agent cognitif processus processus est une instance de processus intentionnel processus est un agent de agent cognitif certificat est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Music.kif 1165-1172	musicChartBy MusicChart and agent cognitif processus entit� entit� est une instance de MusicChart processus est une instance de processus intentionnel processus est un agent de agent cognitif entit� est le resultat de processus

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: