| IntentionalProcess(intentional process) | | Advent, Christianize, Frenchify, Parousia, Second_Advent, Second_Coming, Second_Coming_of_Christ, abide, ablactate, abort, absorb, abstain, abuse, accept, accidental, accidentally, accommodate, accomplished_fact, accomplishment, accustom, achievement, acoustic_phenomenon, acquit, act, act_on, acting_out, action, activity, actual_possession, actualise, actualize, adapt, address, adhere, adjourn, adjournment, adjust, administration, advisedly, agency, agitate, aim, air, air_out, alcohol_abuse, alcoholic_abuse, alcoholism_abuse, alienation, alignment, allow... |
| appearance as argument number 1 |
|
|
| (subclass IntentionalProcess Process) | Merge.kif 10644-10644 | Intentional process is a subclass of process |
| (documentation IntentionalProcess EnglishLanguage "A Process that has a specific purpose for the AutonomousAgent who performs it.") | Merge.kif 10646-10647 | Intentional process is a subclass of process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| 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 ?X ?CUST) ?AGENT ?CUST) Possibility)) |
Dining.kif 336-350 | If X provides Y, X is a customer of Z, W is an instance of Y, and Z desires there exists V such that V is an instance of intentional process, W is a patient of V, and Z is an agent of V, then the statement X allows Z to perform task of the type Z uses W has the modal force of possibility |
| (=> (and (instance ?USER InternetUser) (instance ?ACTION IntentionalProcess) (agent ?ACTION ?USER) (patient ?ACTION Facebook) (not (and (instance ?STATUS StatusUpdate) (result ?ACTION ?STATUS)))) (result ?ACTION RecentActivity)) |
Facebook.kif 312-322 | If X is an instance of internet user, Y is an instance of intentional process, X is an agent of Y, Facebook is a patient of Y, and ~{ Z is an instance of status update } or ~{ Z is a result of Y }, then recent activity is a result of Y |
| (=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober))) |
Law.kif 496-505 | If X is a party to agreement of Y, Z is an instance of intentional process, W is a result of Z, W is the record of X, and legal is an attribute of X, then sober is an attribute of Y holds during the time of existence of Z |
| (=> (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 507-521 | If X is an instance of intentional process, Y is a result of X, Y is the record of Z, and legal is an attribute of Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of offering (3) V is an instance of reaching agreement (4) W includes a reference to Z (5) V includes a reference to Z (6) U is an agent of W (7) T is an agent of V (8) the time of existence of W happens earlier than the time of existence of V |
| (=> (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 535-552 | If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of nation (5) Z is located at V (6) V is an instance of geopolitical area (7) U year duration(s) is the age of majority for Z in W (8) T is a result of Z (9) T is the record of X (10) the age of Y is S year duration(s) and S is greater than U holds during the time of existence of Z, then legal is an attribute of X |
| (=> (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 554-569 | If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of geopolitical area (5) V year duration(s) is the age of majority for Z in W (6) U is a result of Z (7) U is the record of X (8) legal is an attribute of X, then the age of Y is T year duration(s) and T is greater than V holds during the time of existence of Z |
| (=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT)) |
Merge.kif 2767-2773 | If X is an instance of intentional process, Y is an agent of X, Y is an instance of cognitive agent, and Z is a patient of X, then Y is interested in Z |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))) |
Merge.kif 10649-10654 | If X is an instance of intentional process and Y is an agent of X, then there exists Z such that X has the purpose Z for Y |
| (=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT)))) |
Merge.kif 10656-10661 | If X is an instance of intentional process, then there exists Y such that Y is an instance of cognitive agent and Y is an agent of X |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10663-10668 | If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X |
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 11774-11780 | If X is an instance of muscle, Y is an instance of body motion, X is an instrument for Y, and Y is an instance of intentional process, then X is an instance of voluntary muscle |
| (=> (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 15647-15661 | If All of the following hold: (1) X the attribute contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) X is not a consistent of V, then the statement there exists U such that U is an instance of legal action, Z is the plaintiff in U, and Y is the defendant in U has the modal force of possibility |
| consequent |
|
|
| (=> (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 711-724 | If X starts at Y, X ends at Z, W reserves X, and V fulfills X, then the statement there exists U such that U is an instance of intentional process, V is an agent of U, U ends up at W holds during interval between Y, and Z has the modal force of likely |
| (=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Food.kif 319-324 | If X is an instance of prepared food, then there exists Y such that Y is an instance of intentional process and X is a result of Y |
| (=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2839-2846 | If X is an instance of processed milk, then there exist Y, Z such that Y is an instance of intentional process, Z is an instance of cow milk, Z is a patient of Y, and X is a result of Y |
| (=> (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 2005-2017 | If X is an instance of wake-up service, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an agent of X (3) Z experiences X (4) V is an instance of intentional process (5) W is an agent of V (6) Z experiences V (7) Y is an instance of waking up (8) Z experiences Y (9) Y is a result of V |
| (=> (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 2347-2357 | If tour arrangement and reservation services is an attribute of X, then X has the purpose there exist Y, Z such that Z is an instance of tour reservation, Y is an instance of intentional process, X is an agent of Y, and Z is a result of Y or Z is a patient of Y |
| (=> (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 1338-1352 | If X is an instance of tape recorder, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of intentional process (3) X is an instrument for W (4) Y is a result of W (5) Y is an instance of audio recording (6) Z is an instance of recording tape (7) Z is connected to X holds during W (8) the beginning of the time of existence of W happens before the beginning of the time of existence of Y is a part of Z |
| (=> (holdsDuring ?T (attribute ?H Conscious)) (holdsDuring ?T (capability IntentionalProcess agent ?H))) |
Medicine.kif 431-435 | If conscious is an attribute of X holds during Y, then X is capable of doing intentional process as a agent holds during Y |
| (=> (holdsDuring ?T (attribute ?H Coma)) (not (exists (?IP) (and (instance ?IP IntentionalProcess) (agent ?IP ?H) (during ?T (WhenFn ?IP)))))) |
Medicine.kif 5198-5207 | If in a coma is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of intentional process, X is an agent of Z, and Y takes place during the time of existence of Z |
| (=> (and (holdsDuring ?T (attribute ?H AVPUVerbalStatus)) (instance ?S Speaking) (destination ?S ?H) (during (WhenFn ?S) ?T)) (exists (?IA) (and (instance ?IA IntentionalProcess) (agent ?IA ?H) (during (WhenFn ?IA) ?T) (causes ?S ?IA)))) |
Medicine.kif 6441-6453 | If AVPU verbal status is an attribute of X holds during Y, Z is an instance of speaking, Z ends up at X, and the time of existence of Z takes place during Y, then there exists W such that W is an instance of intentional process, X is an agent of W, the time of existence of W takes place during Y, and Z causes W |
| (=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1107-1113 | If X is an instance of synthetic substance, then there exists Y such that Y is an instance of intentional process, X is a result of Y, and X is an instance of substance |
| (=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT)))) |
Merge.kif 2775-2781 | If X is interested in Y, then there exists Z such that Z is an instance of intentional process, X is an agent of Z, and Y is a patient of Z |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT))))) |
Merge.kif 12186-12198 | If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12218-12234 | If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
| (=> (attribute ?HUMAN (ProfessionalFn ?SOCIALROLE)) (exists (?WORK ?PROC ?CLASS) (and (instance ?WORK Working) (agent ?WORK ?HUMAN) (subProcess ?PROC ?WORK) (instance ?PROC ?CLASS) (subclass ?CLASS IntentionalProcess) (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN)))) |
Mid-level-ontology.kif 9492-9502 | If profession X is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of working (3) Y is an agent of Z (4) W is a subprocess of Z (5) W is an instance of V (6) V is a subclass of intentional process (7) Y has the skill to do V in their role as X |
| (=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT)))) |
Mid-level-ontology.kif 18042-18048 | If X is an issued by of Y, then there exists Z such that Z is an instance of intentional process, X is an agent of Z, and Y is a result of Z |
| (=> (attribute ?A Bored) (exists (?DO) (and (instance ?DO IntentionalProcess) (agent ?DO ?A) (holdsDuring (WhenFn ?DO) (desires ?A (not (agent ?DO ?A))))))) |
Mid-level-ontology.kif 21787-21796 | If bored is an attribute of X, then there exists Y such that Y is an instance of intentional process, X is an agent of Y, and X desires X is not an agent of Y holds during the time of existence of Y |
| (=> (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 28899-28909 | If X is an instance of audio recorder, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating sound (3) W is an instance of intentional process (4) X is an instrument for W (5) Y is a patient of W (6) Z is a result of W (7) Z is an instance of audio recording |
| (=> (instance ?X UniformClothing) (exists (?PROC ?DESIGN) (and (instance ?PROC IntentionalProcess) (result ?PROC ?DESIGN) (represents ?X ?DESIGN)))) |
Mid-level-ontology.kif 29340-29346 | If X is an instance of uniform, then there exist Y, Z such that Y is an instance of intentional process, Z is a result of Y, and X expresses Z |
| (=> (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 29692-29714 | If X is an instance of operator assisted telephone communication, then All of the following hold: (1) there exist Y, Z (2) W such that X originates at Y (3) X ends up at Z (4) W is an instance of human (5) W has the purpose there exists V such that V is an instance of intentional process (6) W is an agent of V (7) V is a subprocess of X (8) the statement there exists U such that U is an instance of communication (9) U originates at Y (10) U ends up at Z has the modal force of possibility holds during immediately after the time of existence of V |
| (=> (and (instance ?A AutonomousAgent) (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 32906-32917 | If X is an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of body motion, Z is an instance of intentional process, X is an agent of Z, and the time of existence of Z takes place during Y |
| (=> (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 891-900 | If equal X and the remix of Y by Z, then All of the following hold: (1) there exists W such that W is an instance of intentional process (2) Y is a patient of W (3) Z is an agent of W (4) X is a result of W (5) equal X (6) Y (7) X is not a copy of Y |
| (=> (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 1086-1094 | If X entered Y in Z, then there exist W, V such that W is an instance of intentional process, X is an agent of W, Y is a result of W, V is an instance of judging, and Y is a patient of V |
| (=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C)))) |
Music.kif 1167-1174 | If X is ranked by Y, then there exist Z, W such that W is an instance of X, Z is an instance of intentional process, Y is an agent of Z, and W is a result of Z |
| (=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM)))) |
WMD.kif 239-244 | If X is an instance of genetically engineered organism, then there exists Y such that Y is an instance of intentional process and X is a result of Y |
| (=> (holdsDuring ?T (attribute ?A Boredom)) (not (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?A) (enjoys ?H ?P) (during (ImmediateFutureFn ?P) ?T))))) |
emotion.kif 1783-1792 | If boredom is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of intentional process, X is an agent of Z, W enjoys Z, and immediately after Z takes place during Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|