Process(过程) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Process ChineseLanguage " 这个类别属于发生的事物,它具有时间的部分或阶段。 例子包括:历时颇长的事件如足球比赛或赛跑,行动如追踪、阅读和及各种生物过程。它的形式定义是:任何在某时间发生 而又不是 Object 的存在着。 注:Process 内可以有 Object 参加者介入,例如球赛的球员。四维的 知识本体论认为 Process 的时空幅度可分成大约和时间轴平衡的数个时间阶段。") | chinese_format.kif 1698-1701 | |
(documentation Process EnglishLanguage "The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.") | Merge.kif 1600-1608 | |
(externalImage Process "http://upload.wikimedia.org/wikipedia/commons/3/ 38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG") | pictureList.kif 6795-6795 | |
(subclass Process Physical) | Merge.kif 1599-1599 | 过程 是 物理 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AbortedFn 2 Process) | MilitaryProcesses.kif 2412-2412 | 中止 的 2 数量 是 过程 的 instance |
(domain StartFn 1 Process) | Mid-level-ontology.kif 416-416 | 开始 的 1 数量 是 过程 的 instance |
(domain StopFn 1 Process) | Mid-level-ontology.kif 430-430 | 停 的 1 数量 是 过程 的 instance |
(domain ageOfMajorityForProcess 3 Process) | Law.kif 592-592 | ageOfMajorityForProcess 的 3 数量 是 过程 的 instance |
(domain agent 1 Process) | Merge.kif 2410-2410 | 主事 的 1 数量 是 过程 的 instance |
(domain benefits 1 Process) | Mid-level-ontology.kif 22862-22862 | 得益 的 1 数量 是 过程 的 instance |
(domain causes 1 Process) | Merge.kif 3755-3755 | 引起 的 1 数量 是 过程 的 instance |
(domain causes 2 Process) | Merge.kif 3756-3756 | 引起 的 2 数量 是 过程 的 instance |
(domain commentator 2 Process) | Mid-level-ontology.kif 15751-15751 | commentator 的 2 数量 是 过程 的 instance |
(domain conversionEvent 2 Process) | UXExperimentalTerms.kif 3032-3032 | conversionEvent 的 2 数量 是 过程 的 instance |
(domain coordinates 1 Process) | MilitaryProcesses.kif 1696-1696 | coordinates 的 1 数量 是 过程 的 instance |
(domain coordinates 2 Process) | MilitaryProcesses.kif 1697-1697 | coordinates 的 2 数量 是 过程 的 instance |
(domain destination 1 Process) | Merge.kif 2421-2421 | 终点 的 1 数量 是 过程 的 instance |
(domain direction 1 Process) | Merge.kif 16789-16789 | 方向 的 1 数量 是 过程 的 instance |
(domain eventPartlyLocated 1 Process) | Merge.kif 4073-4073 | eventPartlyLocated 的 1 数量 是 过程 的 instance |
(domain exclusiveEvent 2 Process) | UXExperimentalTerms.kif 4539-4539 | exclusiveEvent 的 2 数量 是 过程 的 instance |
(domain experiencer 1 Process) | Merge.kif 2435-2435 | 经历者 的 1 数量 是 过程 的 instance |
(domain experimentalControlProcess 2 Process) | UXExperimentalTerms.kif 4031-4031 | experimentalControlProcess 的 2 数量 是 过程 的 instance |
(domain experimentalVariableProcess 2 Process) | UXExperimentalTerms.kif 4078-4078 | experimentalVariableProcess 的 2 数量 是 过程 的 instance |
(domain hinders 1 Process) | Merge.kif 4368-4368 | hinders 的 1 数量 是 过程 的 instance |
(domain instrument 1 Process) | Merge.kif 2448-2448 | 工具 的 1 数量 是 过程 的 instance |
(domain involvedInEvent 1 Process) | Merge.kif 2391-2391 | 参与活动 的 1 数量 是 过程 的 instance |
(domain judge 1 Process) | Law.kif 236-236 | judge 的 1 数量 是 过程 的 instance |
(domain manner 1 Process) | Merge.kif 1709-1709 | 形式 的 1 数量 是 过程 的 instance |
(domain origin 1 Process) | Merge.kif 2459-2459 | 源头 的 1 数量 是 过程 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 23202-23208 | |
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
|
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process) (subOrganization ?DEP ?COMP)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 18183-18188 | |
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 841-862 |
|
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 546-561 | |
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 |
|
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 |
|
(=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 15734-15747 | |
(=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 2511-2519 | |
(=> (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER AutonomousAgent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely))))) |
UXExperimentalTerms.kif 4563-4580 |
|
(=> (and (instance ?P Process) (measure ?P ?Q)) (instance ?Q TimeDependentQuantity)) |
Merge.kif 7477-7481 | |
(=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC)))))) |
Military.kif 32-44 |
|
(=> (and (instance ?PROC Process) (eventLocated ?PROC ?LOC) (subProcess ?SUB ?PROC)) (eventLocated ?SUB ?LOC)) |
Mid-level-ontology.kif 23456-23461 | |
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1702-1724 |
|
(=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 2566-2572 | |
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3887-3893 | |
(=> (and (instance ?TEST MultivariateTest) (subProcess ?EXPERIMENT1 ?TEST) (subProcess ?EXPERIMENT2 ?TEST) (instance ?EXPERIMENT1 Experimenting) (instance ?EXPERIMENT2 Experimenting) (instance ?VARIABLE1 Process) (instance ?VARIABLE2 Process) (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1) (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2)) (exists (?PROCESS) (and (instance ?PROCESS Process) (subProcess ?VARIABLE1 ?PROCESS) (subProcess ?VARIABLE2 ?PROCESS) (not (equal ?VARIABLE1 ?VARIABLE2))))) |
UXExperimentalTerms.kif 4706-4723 |
|
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT)))) |
UXExperimentalTerms.kif 4057-4068 | |
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT)))) |
UXExperimentalTerms.kif 4174-4185 | |
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENT ?EVENT) (=> (exists (?CLASS) (and (instance ?EXPERIMENT Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (instance ?EVENT ?CLASS) (capability ?CLASS experiencer ?VISITOR))) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP ?PROCESS) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (instance ?PROC ?PROCESS) (capability ?PROCESS experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL)) |
UXExperimentalTerms.kif 4447-4473 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31225-31232 | |
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31234-31241 | |
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA))))) |
Geography.kif 2285-2295 | |
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT)) |
Catalog.kif 98-107 | |
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process)) (capability ?CLASS agent ?AGENT)) |
Catalog.kif 88-93 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |