| 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 10731-10731 | 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 10733-10734 | Intentional process is a subclass of process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 8627-8627 | The number 2 argument of enjoys is a subclass of intentional process |
| (domain OccupationFn 1 IntentionalProcess) | Mid-level-ontology.kif 22684-22684 | The number 1 argument of occupation is an instance of intentional process |
| (domainSubclass hasOccupation 2 IntentionalProcess) | Mid-level-ontology.kif 23524-23524 | The number 2 argument of has occupation is a subclass of intentional process |
| (domainSubclass FailureFn 1 IntentionalProcess) | ComputingBrands.kif 4425-4425 | The number 1 argument of failure fn is a subclass of intentional process |
| (domainSubclass industryServiceType 2 IntentionalProcess) | Economy.kif 1763-1763 | The number 2 argument of industry service type is a subclass of intentional process |
| (domainSubclass organizationServiceType 2 IntentionalProcess) | Economy.kif 1781-1781 | The number 2 argument of organization service type is a subclass of intentional process |
| antecedent |
|
|
| (=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT)) |
Merge.kif 2841-2847 | 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 ?AGENT ?PURP))) |
Merge.kif 10736-10741 | 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 Y for Z |
| (=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT)))) |
Merge.kif 10743-10748 | 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 10750-10755 | 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 11818-11824 | 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 (instance ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (containsFormula ?PROP ?FORM1) (containsFormula ?AGREEMENT ?FORM2) (not (consistent ?FORM1 ?FORM2))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15704-15721 | If All of the following hold: (1) X is an instance of 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) V contains the formula U (8) X contains the formula T (9) T is not a consistent of U, then the statement there exists S such that S is an instance of legal action, Z is the plaintiff in S, and Y is the defendant in S has the modal force of possibility |
| (=> (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 ?AGENT ?CUST (uses ?X ?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 Z allows Z uses W to perform task of the type X 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 |
| consequent |
|
|
| (=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1145-1151 | 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 2849-2855 | 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 12300-12312 | 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 12332-12348 | 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 |
| (=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2544-2549 | If X is an instance of food, then there exists Y such that Y is an instance of intentional process and X is a result of Y |
| (=> (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 9568-9578 | 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 18070-18076 | 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 21700-21709 | 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 28761-28771 | 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 29243-29249 | 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 29595-29617 | 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 32830-32841 | 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 |
| (=> (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 ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2861-2868 | 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 2012-2024 | 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 2354-2364 | 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 |
| (=> (holdsDuring ?T (attribute ?A Boredom)) (not (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?A) (enjoys ?H ?P) (during (ImmediateFutureFn ?P) ?T))))) |
emotion.kif 1939-1949 | 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 |
| (=> (holdsDuring ?T (attribute ?A Boredom)) (not (desires ?A (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?A) (during (ImmediateFutureFn ?P) ?T)))))) |
emotion.kif 1957-1967 | If boredom is an attribute of X holds during Y, then X doesn't desire there doesn't exist Z such that Z is an instance of intentional process, X is an agent of Z, and immediately after Z takes place during Y |
| (=> (instance ?R Robot) (hasPurpose ?R (exists (?PROC ?COMP) (and (instance ?PROC ComputerProcess) (instance ?COMP ComputerProgram) (computerRunning ?PROC ?COMP) (patient ?PROC ?R) (holdsDuring (WhenFn ?PROC) (exists (?INT) (and (instance ?INT IntentionalProcess) (instrument ?INT ?R)))))))) |
engineering.kif 1086-1100 | If X is an instance of robot, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of computer process (3) Z is an instance of computer program (4) Y is running on Z (5) X is a patient of Y (6) there exists W such that W is an instance of intentional process (7) X is an instrument for W holds during the time of existence of Y |
|
|
|