| 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 10871-10872 | |
| (documentation Planning JapaneseLanguage "一連の目標または目的を満たすために一連のアクションを 指定する。") | japanese_format.kif 1734-1735 | |
| (externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") | pictureList.kif 6772-6772 | |
| (subclass Planning IntentionalPsychologicalProcess) | Merge.kif 10869-10869 |
| appearance as argument number 2 |
|
|
| (subclass Choreographing Planning) | Mid-level-ontology.kif 16070-16070 | |
| (subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 | |
| (termFormat ChineseLanguage Planning "规划") | chinese_format.kif 1107-1107 | |
| (termFormat EnglishLanguage Planning "planning") | english_format.kif 1431-1431 | |
| (termFormat FrenchLanguage Planning "planifier") | french_format.kif 785-785 | |
| (termFormat Hindi Planning "") | terms-hindi.txt 317-317 | |
| (termFormat ItalianLanguage Planning "Pianificazione") | terms-it.txt 320-320 | |
| (termFormat JapaneseLanguage Planning "計画") | japanese_format.kif 2469-2469 | |
| (termFormat PortugueseLanguage Planning "Planejar") | portuguese_format.kif 737-737 | |
| (termFormat cb Planning "pagplano") | terms-cb.txt 322-322 | |
| (termFormat cz Planning "planning") | terms-cz.txt 356-356 | |
| (termFormat ro Planning "planificare") | relations-ro.kif 806-806 | |
| (termFormat tg Planning "pagplano") | terms-tg.txt 321-321 |
| antecedent |
|
|
| (=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10874-10882 |
| consequent |
|
|
| (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16873-16881 | |
| (=> (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 1470-1475 | |
| (=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING))))) |
Mid-level-ontology.kif 16020-16026 |
|
|
|