| appearance as argument number 1 |
|
| (documentation subPlan ChineseLanguage "(subPlan ?PLAN1 ?PLAN2) 的意思是 ?PLAN1 是一个 Plan，它是 ?PLAN2 的真正部分。这个关系一般用来在特定的情况下，把整个 Plan 和它的一个支援 Plan 联系。") | chinese_format.kif 2206-2208 | |
| (documentation subPlan EnglishLanguage "(subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a Plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting Plan to the overall Plan in a particular context.") | Merge.kif 4662-4665 | |
| (documentation subPlan JapaneseLanguage "(subPlan ?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である Plan であることを意味する。この関係は、一般に、特定のコンテキストでサポート Plan を全体的な Plan に関連付けるために使用される。") | japanese_format.kif 870-872 | |
| (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 |
| (instance subPlan IrreflexiveRelation) | Merge.kif 4657-4657 | sub plan is an instance of irreflexive relation |
| (instance subPlan PartialValuedRelation) | Merge.kif 4658-4658 | sub plan is an instance of partial valued relation |
| (instance subPlan TransitiveRelation) | Merge.kif 4656-4656 | sub plan is an instance of transitive relation |
| (subrelation subPlan subProposition) | Merge.kif 4655-4655 | sub plan is a subrelation of sub proposition |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subPlan "%1 %n 是 %2 的 subPlan") | chinese_format.kif 237-237 | |
| (format EnglishLanguage subPlan "%1 is %n a sub-plan of %2") | english_format.kif 238-238 | |
| (format FrenchLanguage subPlan "%1 est %n un sous-plan de %2") | french_format.kif 136-136 | |
| (format ItalianLanguage subPlan "%1 è un sottoprogramma di %2") | relations-it.txt 276-276 | |
| (format JapaneseLanguage subPlan "%1 は %2 の sub-plan では %n") | japanese_format.kif 1967-1967 | |
| (format PortugueseLanguage subPlan "%1 e' %n um ssub-plano de %2") | portuguese_format.kif 88-88 | |
| (format de subPlan "%1 ist ein teilplan von %2") | relations-de.txt 305-305 | |
| (format hi subPlan "%1 %2 kii upayojanaa hai") | relations-hindi.txt 313-313 | |
| (format ro subPlan "%1 %n{nu} este un sub-plan%t{subplan} al lui %2") | relations-ro.kif 155-155 | |
| (format sv subPlan "%1 är %n{inte} en delplan av %2") | relations-sv.txt 141-141 | |
| (format tg subPlan "%1 ay ang balak mas baba ng %2") | relations-tg.txt 468-468 | |
| (termFormat ChineseLanguage subPlan "子计划") | chinese_format.kif 238-238 | |
| (termFormat ChineseTraditionalLanguage subPlan "子計劃") | domainEnglishFormat.kif 55809-55809 | |
| (termFormat EnglishLanguage subPlan "sub plan") | domainEnglishFormat.kif 55808-55808 | |
| (termFormat de subPlan "teilplan") | terms-de.txt 98-98 |
| consequent |
|
|
| (=> (instance ?PROGRAM EducationalProgram) (exists (?COURSE1 ?COURSE2) (and (instance ?COURSE1 EducationalCourse) (instance ?COURSE2 EducationalCourse) (not (equal ?COURSE1 ?COURSE2)) (subPlan ?COURSE1 ?PROGRAM) (subPlan ?COURSE2 ?PROGRAM)))) |
Mid-level-ontology.kif 16835-16843 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners