TreeView Knowledge Base Browser - IntentionalProcess

appearance as argument number 3

(domain OccupationFn 1 IntentionalProcess)	Mid-level-ontology.kif 19665-19665	The number 1 argument of occupation is an instance of intentional process
(domainSubclass FailureFn 1 IntentionalProcess)	ComputingBrands.kif 4478-4478	The number 1 argument of FailureFn is a subclass of intentional process
(domainSubclass distrusts 3 IntentionalProcess)	Law.kif 412-412	The number 3 argument of distrusts is a subclass of intentional process
(domainSubclass enjoys 2 IntentionalProcess)	Mid-level-ontology.kif 7006-7006	The number 2 argument of enjoys is a subclass of intentional process
(domainSubclass hasOccupation 2 IntentionalProcess)	Mid-level-ontology.kif 20518-20518	The number 2 argument of has occupation is a subclass of intentional process
(domainSubclass industryServiceType 2 IntentionalProcess)	Economy.kif 1647-1647	The number 2 argument of industry service type is a subclass of intentional process
(domainSubclass organizationServiceType 2 IntentionalProcess)	Economy.kif 1665-1665	The number 2 argument of organization service type is a subclass of intentional process
(domainSubclass trusts 3 IntentionalProcess)	Law.kif 401-401	The number 3 argument of trusts is a subclass of intentional process

antecedent

(=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight (uses ?CUST ?X) ?AGENT ?CUST) Possibility))	Dining.kif 332-346	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an entity is an instance of the object and the other cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity, then the statement the cognitive agent allows the other cognitive agent to perform task of the type the entity uses the other cognitive agent has the modal force of possibility
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 9803-9809	If an object is an instance of muscle and a process is an instance of body motion and the object is an instrument for the process and the process is an instance of intentional process, then the object is an instance of VoluntaryMuscle
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT)))	Merge.kif 10093-10098	If a process is an instance of intentional process and an agent is an agent of the process, then there exists a formula such that the process has the purpose the formula for the agent
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake)))	Merge.kif 10107-10112	If a process is an instance of intentional process and an agent is an agent of the process and the agent is an instance of animal, then awake is an attribute of the agent holds during the time of existence of the process
(=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A)))))	Law.kif 574-588	If a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of an agreement and legal is an attribute of the agreement, then there exist another process, a third process,, , the third process1 and the third process2 such that the other process is an instance of offering and the third process is an instance of ReachingAgreement and the other process includes a reference to the agreement and the third process includes a reference to the agreement and the third process1 is an agent of the other process and the third process2 is an agent of the third process and the time of existence of the other process happens earlier than the time of existence of the third process
(=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT))	Merge.kif 2673-2679	If a process is an instance of intentional process and a cognitive agent is an agent of the process and the cognitive agent is an instance of cognitive agent and an entity is a patient of the process, then the cognitive agent is interested in the entity
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N2 YearDuration)) (greaterThan ?N2 ?N))))	Law.kif 621-636	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the kind of process in the geopolitical area and a content bearing physical is a result of the kind of process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the kind of process
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC Nation) (located ?PROC ?LOC2) (instance ?LOC2 GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N2 YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N3 YearDuration)) (greaterThan ?N3 ?N2)))) (attribute ?AG Legal))	Law.kif 602-619	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of nation and the kind of process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the kind of process in the geopolitical area and a content bearing physical is a result of the kind of process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the kind of process, then legal is an attribute of the agreement
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober)))	Law.kif 563-572	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then sober is an attribute of the cognitive agent holds during the time of existence of the process
(=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility))	Mid-level-ontology.kif 13475-13489	If an agreement the attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition, then the statement there exists an entity such that the entity is an instance of legal action and the other cognitive agent is the plaintiff in the entity and the cognitive agent is the defendant in the entity has the modal force of possibility
(=> (and (standardRetailHours ?TIMEINT ?AGENT) (potentialCustomer ?C ?AGENT) (instance ?P IntentionalProcess) (destination ?P ?C) (instance ?START (StartFn ?P)) (conditionalProbability (during (WhenFn ?START) ?TIMEINT) (agent ?P ?AGENT) ?NUMBER1) (conditionalProbability (not (during (WhenFn ?START) ?TIMEINT)) (agent ?P ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1))	Dining.kif 371-382	If the standard retail hours for an agent are a kind of time interval and a cognitive agent is a potential customer for the agent and a process is an instance of intentional process and the process ends up at the cognitive agent and an entity is an instance of the start of the process and probability of the time of existence of the entity takes place during a kind of time interval provided that the agent is an agent of the process holds is a real number and probability of the time of existence of the entity doesn't take place during the kind of time interval provided that the agent is an agent of the process holds is another real number, then the other real number is less than the real number
(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))	Merge.kif 10100-10105	If a process is an instance of intentional process, then there exists an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process

consequent

(<=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance))))	Merge.kif 994-1000	An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
(=> (and (instance ?A Agent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 29474-29485	If an agent is an instance of agent and Motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (patient ?DECIDE ?PROCESS)) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT)))	Merge.kif 11502-11509	If a process is an instance of deciding and an agent is an agent of the process and another process is a patient of the process, then the other process is an instance of intentional process and the agent is an agent of the other process
(=> (and (reservationStart ?TIME1 ?R) (reservationEnd ?TIME2 ?R) (reservingEntity ?CUST ?R) (fulfillingEntity ?AGENT ?R)) (modalAttribute (holdsDuring (TimeIntervalFn ?TIME1 ?TIME2) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (destination ?P ?CUST)))) Likely))	Dining.kif 665-678	If a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists an entity such that the entity is an instance of intentional process and the other agent is an agent of the entity and the entity ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
(=> (attribute ?X TourArrangementAndReservationServices) (hasPurpose ?X (exists (?PROC ?RESERVE) (and (instance ?RESERVE TourReservation) (instance ?PROC IntentionalProcess) (agent ?PROC ?X) (or (result ?PROC ?RESERVE) (patient ?PROC ?RESERVE))))))	Hotel.kif 2309-2319	If tour arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of tour reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
(=> (attribute ?X TravelArrangementAndReservationServices) (hasPurpose ?X (exists (?PROC ?RESERVE) (and (instance ?RESERVE TravelReservation) (instance ?PROC IntentionalProcess) (agent ?PROC ?X) (or (result ?PROC ?RESERVE) (patient ?PROC ?RESERVE))))))	naics.kif 10451-10461	If travel arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of travel reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
(=> (contestEntry ?ENT ?AGENT ?CONT) (exists (?P ?J) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?ENT) (instance ?J Judging) (patient ?J ?ENT))))	Music.kif 1077-1085	If a cognitive agent entered an entity in a contest, then there exist a process and another process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process and the other process is an instance of judging and the entity is a patient of the other process
(=> (equal ?S (RemixFn ?M ?A)) (exists (?P) (and (instance ?P IntentionalProcess) (patient ?P ?M) (agent ?P ?A) (result ?P ?S) (not (equal ?S ?M)) (not (copy ?S ?M)))))	Music.kif 886-895	If a music recording is equal to the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and the music recording is not equal to the other music recording and the music recording is not a copy of the other music recording
(=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT))))	Merge.kif 2681-2687	If a cognitive agent is interested in an entity, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a patient of the process
(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P IntentionalProcess) (resource ?P ?C) (instance ?C CerealGrain) (result ?P ?F))))	Mid-level-ontology.kif 20876-20883	If an entity is an instance of flour, then there exist a process and an object such that the process is an instance of intentional process and the object is a resource for the process and the object is an instance of cereal grain and the entity is a result of the process
(=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM))))	WMD.kif 239-244	If an entity is an instance of genetically engineered organism, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
(=> (instance ?SVC WakeUpService) (hasPurpose ?SVC (exists (?WAKE ?CUST ?AGENT ?PROC) (and (agent ?SVC ?AGENT) (experiencer ?SVC ?CUST) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT) (experiencer ?PROC ?CUST) (instance ?WAKE WakingUp) (experiencer ?WAKE ?CUST) (result ?PROC ?WAKE)))))	Hotel.kif 1969-1981	If a physical is an instance of wake-up service, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an agent of the physical and the other entity experiences the physical and the fourth entity is an instance of intentional process and the third entity is an agent of the fourth entity and the other entity experiences the fourth entity and the entity is an instance of waking up and the other entity experiences the entity and the entity is a result of the fourth entity
(=> (instance ?X AudioRecorder) (hasPurpose ?X (exists (?RS ?RECORD ?PROC) (and (instance ?RS RadiatingSound) (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (patient ?PROC ?RS) (result ?PROC ?RECORD) (instance ?RECORD AudioRecording)))))	Mid-level-ontology.kif 25471-25481	If a physical is an instance of audio recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating sound and the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a patient of the third entity and the other entity is a result of the third entity and the other entity is an instance of audio recording
(=> (instance ?X OperatorAssistedTelephoneCommunication) (exists (?ORIGIN ?DEST ?OPERATOR) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (instance ?OPERATOR Human) (hasPurpose ?OPERATOR (exists (?PROC) (and (instance ?PROC IntentionalProcess) (agent ?PROC ?OPERATOR) (subProcess ?PROC ?X) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (modalAttribute (exists (?COMM) (and (instance ?COMM Communication) (origin ?COMM ?ORIGIN) (destination ?COMM ?DEST))) Possibility))))))))	Mid-level-ontology.kif 26272-26294	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
(=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X))))	Mid-level-ontology.kif 20700-20705	If an entity is an instance of prepared food, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
(=> (instance ?X TapeRecorder) (hasPurpose ?X (exists (?AUDIO ?TAPE ?PROC) (and (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (result ?PROC ?AUDIO) (instance ?AUDIO AudioRecording) (instance ?TAPE RecordingTape) (holdsDuring ?PROC (connected ?TAPE ?X)) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn (part ?AUDIO ?TAPE))))))))	Media.kif 1340-1354	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of RecordingTape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
(=> (instance ?X UniformClothing) (exists (?PROC ?DESIGN) (and (instance ?PROC IntentionalProcess) (result ?PROC ?DESIGN) (represents ?X ?DESIGN))))	Mid-level-ontology.kif 25898-25904	If an entity is an instance of uniform, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is a result of the process and the entity expresses the other entity
(=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT))))	Mid-level-ontology.kif 15777-15783	If a cognitive agent is an issued by of a certificate, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the certificate is a result of the process
(=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C))))	Music.kif 1158-1165	If a kind of music charts is ranked by a cognitive agent, then there exist a process and an entity such that the entity is an instance of a kind of music charts and the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process

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

(documentation IntentionalProcess ChineseLanguage "这是一个对于执行的 Agent 有特定目的的 Process。")	chinese_format.kif 2930-2931
(documentation IntentionalProcess EnglishLanguage "A Process that has a specific purpose for the Agent who performs it.")	Merge.kif 10090-10091
(subclass IntentionalProcess Process)	Merge.kif 10088-10088	Intentional process is a subclass of process

(disjoint AutonomicProcess IntentionalProcess)	Merge.kif 9776-9776	Autonomic process is disjoint from intentional process
(disjoint Dreaming IntentionalProcess)	Mid-level-ontology.kif 17476-17476	Dreaming is disjoint from intentional process
(disjoint GeologicalProcess IntentionalProcess)	Merge.kif 10758-10758	Geological process is disjoint from intentional process
(disjoint NaturalProcess IntentionalProcess)	Merge.kif 10086-10086	Natural process is disjoint from intentional process
(disjoint Trembling IntentionalProcess)	Mid-level-ontology.kif 19161-19161	Trembling is disjoint from intentional process
(disjoint WeatherProcess IntentionalProcess)	Merge.kif 10765-10765	Weather process is disjoint from intentional process
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 393-393	The values returned by start are subclasses of intentional process
(rangeSubclass StopFn IntentionalProcess)	Mid-level-ontology.kif 407-407	The values returned by stop are subclasses of intentional process
(subclass Ambulating IntentionalProcess)	Merge.kif 10707-10707	Ambulating is a subclass of intentional process
(subclass Ceremony IntentionalProcess)	Mid-level-ontology.kif 7565-7565	Ceremony is a subclass of intentional process
(subclass Commenting IntentionalProcess)	Mid-level-ontology.kif 15162-15162	Commenting is a subclass of intentional process
(subclass ContentDevelopment IntentionalProcess)	Merge.kif 12082-12082	Content development is a subclass of intentional process
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 13185-13185	Criminal action is a subclass of intentional process
(subclass DeployingWeaponOfMassDestruction IntentionalProcess)	WMD.kif 670-670	Deploying weapon of mass destruction is a subclass of intentional process
(subclass Designing IntentionalProcess)	Merge.kif 10433-10433	Designing is a subclass of intentional process
(subclass Digging IntentionalProcess)	Mid-level-ontology.kif 17254-17254	Digging is a subclass of intentional process
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess)	WMD.kif 726-726	Dismantling weapon of mass destruction is a subclass of intentional process
(subclass Dodging IntentionalProcess)	Mid-level-ontology.kif 417-417	Dodging is a subclass of intentional process
(subclass Drilling IntentionalProcess)	Mid-level-ontology.kif 17334-17334	Drilling is a subclass of intentional process
(subclass Ducking IntentionalProcess)	Mid-level-ontology.kif 12450-12450	Ducking is a subclass of intentional process
(subclass EngineersSubprocess IntentionalProcess)	engineering.kif 1196-1196	Engineers subprocess is a subclass of intentional process
(subclass Evacuation IntentionalProcess)	MilitaryProcesses.kif 2469-2469	Evacuation is a subclass of intentional process
(subclass Guiding IntentionalProcess)	Merge.kif 11124-11124	Guiding is a subclass of intentional process
(subclass ITProcess IntentionalProcess)	engineering.kif 1309-1309	IT process is a subclass of intentional process
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10114-10114	Intentional psychological process is a subclass of intentional process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: