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 16870-16871 | |
(subclass Plan Procedure) | Merge.kif 16869-16869 | Plan is a subclass of procedure |
appearance as argument number 2 |
(subclass Diet Plan) | Mid-level-ontology.kif 21557-21557 | Diet is a subclass of plan |
(subclass EducationalProgram Plan) | Mid-level-ontology.kif 16638-16638 | 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 16667-16667 | Sports play is a subclass of 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 4659-4659 | The number 1 argument of sub plan is an instance of plan |
(domain subPlan 2 Plan) | Merge.kif 4660-4660 | The number 2 argument of sub plan is an instance of plan |
antecedent |
consequent |