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 4565-4568
(domain subPlan 1 Plan)	Merge.kif 4562-4562
(domain subPlan 2 Plan)	Merge.kif 4563-4563
(instance subPlan IrreflexiveRelation)	Merge.kif 4560-4560
(instance subPlan PartialValuedRelation)	Merge.kif 4561-4561
(instance subPlan TransitiveRelation)	Merge.kif 4559-4559
(subrelation subPlan subProposition)	Merge.kif 4558-4558

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
(termFormat ChineseLanguage subPlan "子计划")	chinese_format.kif 238-238
(termFormat ChineseTraditionalLanguage subPlan "子計劃")	domainEnglishFormat.kif 55748-55748
(termFormat EnglishLanguage subPlan "sub plan")	domainEnglishFormat.kif 55747-55747

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 16057-16065

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

KB Term:			Term intersection

English Word: