IntentionalProcess | ![]() |
appearance as argument number 1 |
![]() |
(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 10393-10394 | |
(subclass IntentionalProcess Process) | Merge.kif 10391-10391 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain OccupationFn 1 IntentionalProcess) | Mid-level-ontology.kif 19810-19810 | |
(domainSubclass FailureFn 1 IntentionalProcess) | ComputingBrands.kif 4477-4477 | |
(domainSubclass distrusts 3 IntentionalProcess) | Law.kif 412-412 | |
(domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 7030-7030 | |
(domainSubclass hasOccupation 2 IntentionalProcess) | Mid-level-ontology.kif 20663-20663 | |
(domainSubclass industryServiceType 2 IntentionalProcess) | Economy.kif 1654-1654 | |
(domainSubclass organizationServiceType 2 IntentionalProcess) | Economy.kif 1672-1672 | |
(domainSubclass trusts 3 IntentionalProcess) | Law.kif 401-401 |
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 | |
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 9931-9937 | |
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))) |
Merge.kif 10396-10401 | |
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10410-10415 | |
(=> (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 | |
(=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT)) |
Merge.kif 2672-2678 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 13615-13629 | |
(=> (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 | |
(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT)))) |
Merge.kif 10403-10408 |
consequent |
![]() |
(=> (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 29620-29631 | |
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (patient ?DECIDE ?PROCESS)) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT))) |
Merge.kif 11842-11849 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT)))) |
Merge.kif 2680-2686 | |
(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P IntentionalProcess) (resource ?P ?C) (instance ?C CerealGrain) (result ?P ?F)))) |
Mid-level-ontology.kif 21021-21028 | |
(=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM)))) |
WMD.kif 239-244 | |
(=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1024-1030 | |
(=> (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 | |
(=> (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 25616-25626 | |
(=> (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 26417-26439 | |
(=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Mid-level-ontology.kif 20845-20850 | |
(=> (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 1336-1350 | |
(=> (instance ?X UniformClothing) (exists (?PROC ?DESIGN) (and (instance ?PROC IntentionalProcess) (result ?PROC ?DESIGN) (represents ?X ?DESIGN)))) |
Mid-level-ontology.kif 26043-26049 | |
(=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT)))) |
Mid-level-ontology.kif 15922-15928 | |
(=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C)))) |
Music.kif 1158-1165 |
![]() |
![]() |