| 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 10960-10961 | |
| (documentation Planning JapaneseLanguage "一連の目標または目的を満たすために一連のアクションを 指定する。") | japanese_format.kif 1734-1735 | |
| (externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") | pictureList.kif 6771-6771 | |
| (subclass Planning IntentionalPsychologicalProcess) | Merge.kif 10958-10958 | 計画 は 意図的な心理的プロセス の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10963-10971 |
|
| consequent |
|
|
| (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16962-16970 |
|
| (=> (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 1465-1470 | |
| (=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING))))) |
Mid-level-ontology.kif 17380-17386 |
|
|
|