![]() |
appearance as argument number 1 |
![]() |
(documentation Plan ChineseLanguage "这是为了在将来能实现一个特定目标而成立的一组按顺序执行 Process 的规格。") | chinese_format.kif 3763-3764 | |
(documentation Plan EnglishLanguage "A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.") | Merge.kif 16517-16518 | |
(subclass Plan Procedure) | Merge.kif 16516-16516 | Plan is a subclass of procedure |
appearance as argument number 2 |
![]() |
(subclass Diet Plan) | Mid-level-ontology.kif 20823-20823 | Diet is a subclass of plan |
(subclass EducationalProgram Plan) | Mid-level-ontology.kif 16031-16031 | Educational program is a subclass of plan |
(subclass OperationPlan Plan) | MilitaryProcesses.kif 1543-1543 | Operation plan is a subclass of plan |
(subclass SportsPlay Plan) | Mid-level-ontology.kif 16060-16060 | Sports play is a subclass of plan |
(termFormat ChineseLanguage Plan "计划") | chinese_format.kif 1234-1234 | |
(termFormat EnglishLanguage Plan "plan") | english_format.kif 1689-1689 |
appearance as argument number 3 |
![]() |
(domain subPlan 1 Plan) | Merge.kif 4562-4562 | The number 1 argument of sub plan is an instance of plan |
(domain subPlan 2 Plan) | Merge.kif 4563-4563 | The number 2 argument of sub plan is an instance of plan |
antecedent |
![]() |
(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16520-16528 |
|
(=> (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 |
|
consequent |
![]() |
(=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10726-10734 |
|
(=> (instance ?BRD BusinessRequirementDocument) (exists (?PLAN ?BU ?PROC) (and (instance ?PLAN Plan) (instance ?BU Business) (instance ?PROC Process) (represents ?PLAN ?PROC) (desires ?BU ?PROC) (containsInformation ?BRD ?PLAN)))) |
UXExperimentalTerms.kif 2806-2815 |
|
(=> (instance ?MO MilitaryOperation) (exists (?PLAN) (and (instance ?PLAN Plan) (represents ?PLAN ?MO)))) |
Military.kif 25-30 |
|
(=> (instance ?TPS TestProtocolSpecification) (exists (?PLAN ?EXPERIMENT ?PROC) (and (instance ?PLAN Plan) (instance ?EXPERIMENT Experimenting) (instance ?PROC Process) (represents ?PLAN ?PROC) (subProcess ?EXPERIMENT ?PROC) (containsInformation ?TPS ?PLAN)))) |
UXExperimentalTerms.kif 2964-2973 |
|
![]() |
![]() |