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 10440-10441 | |
(subclass IntentionalProcess Process) | Merge.kif 10438-10438 | 有意图过程 是 过程 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain OccupationFn 1 IntentionalProcess) | Mid-level-ontology.kif 20270-20270 | 职业 的 1 数量 是 有意图过程 的 instance |
(domainSubclass FailureFn 1 IntentionalProcess) | ComputingBrands.kif 4512-4512 | FailureFn 的 1 数量 是 有意图过程 的 subclass |
(domainSubclass distrusts 3 IntentionalProcess) | Law.kif 412-412 | distrusts 的 3 数量 是 有意图过程 的 subclass |
(domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 7330-7330 | 享受 的 2 数量 是 有意图过程 的 subclass |
(domainSubclass hasOccupation 2 IntentionalProcess) | Mid-level-ontology.kif 21145-21145 | 有职业 的 2 数量 是 有意图过程 的 subclass |
(domainSubclass industryServiceType 2 IntentionalProcess) | Economy.kif 1654-1654 | 行业服务类型 的 2 数量 是 有意图过程 的 subclass |
(domainSubclass organizationServiceType 2 IntentionalProcess) | Economy.kif 1672-1672 | 组织服务类型 的 2 数量 是 有意图过程 的 subclass |
(domainSubclass trusts 3 IntentionalProcess) | Law.kif 401-401 | trusts 的 3 数量 是 有意图过程 的 subclass |
antecedent |
![]() |
consequent |
![]() |
(=> (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 30158-30169 | |
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (patient ?DECIDE ?PROCESS)) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT))) |
Merge.kif 11931-11938 | |
(=> (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 19610-19619 | |
(=> (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 2336-2346 | |
(=> (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 1083-1091 | |
(=> (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 888-897 | |
(=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT)))) |
Merge.kif 2717-2723 | |
(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P IntentionalProcess) (resource ?P ?C) (instance ?C CerealGrain) (result ?P ?F)))) |
Mid-level-ontology.kif 21508-21515 | |
(=> (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 1061-1067 | |
(=> (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 1994-2006 | |
(=> (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 26159-26169 | |
(=> (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 26963-26985 |
|
(=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Mid-level-ontology.kif 21331-21336 | |
(=> (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 26589-26595 | |
(=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT)))) |
Mid-level-ontology.kif 16345-16351 | |
(=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C)))) |
Music.kif 1164-1171 |
![]() |
![]() |