|
|
   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 AutonomousAgent who performs it.") | Merge.kif 10611-10612 | |
| (documentation IntentionalProcess JapaneseLanguage "Process は、それを実行する Agent に 対し、固有の目的を持つ。") | japanese_format.kif 1681-1682 | |
| (subclass IntentionalProcess Process) | Merge.kif 10609-10609 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain OccupationFn 1 IntentionalProcess) | Mid-level-ontology.kif 22105-22105 | |
| (domainSubclass FailureFn 1 IntentionalProcess) | ComputingBrands.kif 4509-4509 | |
| (domainSubclass distrusts 3 IntentionalProcess) | Law.kif 375-375 | |
| (domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 8530-8530 | |
| (domainSubclass hasOccupation 2 IntentionalProcess) | Mid-level-ontology.kif 22982-22982 | |
| (domainSubclass industryServiceType 2 IntentionalProcess) | Economy.kif 1768-1768 | |
| (domainSubclass organizationServiceType 2 IntentionalProcess) | Economy.kif 1786-1786 | |
| (domainSubclass trusts 3 IntentionalProcess) | Law.kif 364-364 |
| 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 | |
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 11735-11741 | |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))) |
Merge.kif 10614-10619 | |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10628-10633 | |
| (=> (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 532-546 | |
| (=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT)) |
Merge.kif 2728-2734 | |
| (=> (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 579-594 | |
| (=> (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 560-577 | |
| (=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober))) |
Law.kif 521-530 | |
| (=> (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 15520-15534 | |
| (=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT)))) |
Merge.kif 10621-10626 |
| consequent |
|
|
| (=> (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 6465-6477 | |
| (=> (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 32162-32173 | |
| (=> (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 12181-12197 | |
| (=> (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 12149-12161 | |
| (=> (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 | |
| (=> (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 21415-21424 | |
| (=> (attribute ?HUMAN (ProfessionalFn ?SOCIALROLE)) (exists (?WORK ?PROC) (and (instance ?WORK Working) (agent ?WORK ?HUMAN) (subProcess ?PROC ?WORK) (instance ?PROC ?CLASS) (subclass ?CLASS IntentionalProcess) (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN)))) |
Mid-level-ontology.kif 9452-9462 | |
| (=> (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 | |
| (=> (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 1086-1094 | |
| (=> (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 | |
| (=> (holdsDuring ?T (attribute ?H Coma)) (not (exists (?IP) (and (instance ?IP IntentionalProcess) (agent ?IP ?H) (during ?T (WhenFn ?IP)))))) |
Medicine.kif 5223-5232 | |
| (=> (holdsDuring ?T (attribute ?H Conscious)) (holdsDuring ?T (capability IntentionalProcess agent ?H))) |
Medicine.kif 430-434 | |
| (=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT)))) |
Merge.kif 2736-2742 | |
| (=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM)))) |
WMD.kif 239-244 | |
| (=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2839-2846 | |
| (=> (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 999-1013 | |
| (=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1067-1073 | |
| (=> (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 | |
| (=> (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 28151-28161 | |
| (=> (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 28948-28970 | |
| (=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Food.kif 319-324 | |
| (=> (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 | |
| (=> (instance ?X UniformClothing) (exists (?PROC ?DESIGN) (and (instance ?PROC IntentionalProcess) (result ?PROC ?DESIGN) (represents ?X ?DESIGN)))) |
Mid-level-ontology.kif 28596-28602 | |
| (=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT)))) |
Mid-level-ontology.kif 17889-17895 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|