Plan |
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 16821-16822 | |
(subclass Plan Procedure) | Merge.kif 16820-16820 | Plan ist eine teilkategorie von Procedure |
appearance as argument number 2 |
(subclass Diet Plan) | Mid-level-ontology.kif 21529-21529 | Diet ist eine teilkategorie von Plan |
(subclass EducationalProgram Plan) | Mid-level-ontology.kif 16610-16610 | EducationalProgram ist eine teilkategorie von Plan |
(subclass OperationPlan Plan) | MilitaryProcesses.kif 1543-1543 | OperationPlan ist eine teilkategorie von Plan |
(subclass SportsPlay Plan) | Mid-level-ontology.kif 16639-16639 | SportsPlay ist eine teilkategorie von Plan |
(termFormat ChineseLanguage Plan "计划") | chinese_format.kif 1234-1234 | |
(termFormat EnglishLanguage Plan "plan") | english_format.kif 1689-1689 | |
(termFormat FrenchLanguage Plan "plan") | french_format.kif 912-912 | |
(termFormat Hindi Plan "yojanaa") | terms-hindi.txt 445-445 | |
(termFormat ItalianLanguage Plan "Programma") | terms-it.txt 448-448 | |
(termFormat JapaneseLanguage Plan "計画") | japanese_format.kif 2596-2596 | |
(termFormat PortugueseLanguage Plan "Plano") | portuguese_format.kif 864-864 | |
(termFormat cb Plan "plano") | terms-cb.txt 450-450 | |
(termFormat cz Plan "plan") | terms-cz.txt 484-484 | |
(termFormat ro Plan "plan") | relations-ro.kif 933-933 | |
(termFormat tg Plan "Plano") | terms-tg.txt 449-449 |
appearance as argument number 3 |
(domain subPlan 1 Plan) | Merge.kif 4658-4658 | Die Zahl 1 Argument von teilplan ist ein fall von Plan %n{nicht} |
(domain subPlan 2 Plan) | Merge.kif 4659-4659 | Die Zahl 2 Argument von teilplan ist ein fall von Plan %n{nicht} |
antecedent |
(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16824-16832 |
|
(=> (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 |