| Planning
| |
| appearance as argument number 1 |
|
|
| (documentation Planning ChineseLanguage "这是为了达到一套目的或目标所指定的一套行动。") | chinese_format.kif 2975-2975 | |
| (documentation Planning EnglishLanguage "Specifying a set of actions in order to meet a set of goals or objectives.") | Merge.kif 10787-10788 | |
| (externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") | pictureList.kif 6773-6773 | |
| (subclass Planning IntentionalPsychologicalProcess) | Merge.kif 10785-10785 |
| appearance as argument number 2 |
|
|
| (subclass Choreographing Planning) | Mid-level-ontology.kif 15890-15890 | |
| (subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 | |
| (termFormat ChineseLanguage Planning "规划") | chinese_format.kif 1107-1107 | |
| (termFormat EnglishLanguage Planning "planning") | english_format.kif 1431-1431 |
| antecedent |
|
|
| (=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10790-10798 |
| consequent |
|
|
| (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16652-16660 | |
| (=> (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 | |
| (=> (instance ?LANG ConstructedLanguage) (exists (?PLAN) (and (instance ?PLAN Planning) (result ?PLAN ?LANG)))) |
Merge.kif 1447-1452 | |
| (=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING))))) |
Mid-level-ontology.kif 15840-15846 |
|
|
|