TreeView Knowledge Base Browser

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	subPlan の数値 1 引数は計画の instance では %n
(domain subPlan 2 Plan)	Merge.kif 4660-4660	subPlan の数値 2 引数は計画の instance では %n
(instance subPlan IrreflexiveRelation)	Merge.kif 4657-4657	subPlan は非反射関係の instance では %n
(instance subPlan PartialValuedRelation)	Merge.kif 4658-4658	subPlan は部分的価値関係の instance では %n
(instance subPlan TransitiveRelation)	Merge.kif 4656-4656	subPlan は推移関係の instance では %n
(subrelation subPlan subProposition)	Merge.kif 4655-4655	subPlan は subProposition の subrelation では %n

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 55771-55771
(termFormat EnglishLanguage subPlan "sub plan")	domainEnglishFormat.kif 55770-55770
(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 16644-16652

計画は EducationalProgram の instance では %n
計画計画計画は EducationalCourse の instance では %n 計画は EducationalCourse の instance では %n 計画は計画と equal では計画は計画の sub-plan では %n 計画は計画の sub-plan では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: