TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation subPlan subProposition)	Merge.kif 4767-4767	sub plan is a subrelation of sub proposition
(instance subPlan TransitiveRelation)	Merge.kif 4768-4768	sub plan is an instance of transitive relation
(instance subPlan IrreflexiveRelation)	Merge.kif 4769-4769	sub plan is an instance of irreflexive relation
(instance subPlan PartialValuedRelation)	Merge.kif 4770-4770	sub plan is an instance of partial valued relation
(domain subPlan 1 Plan)	Merge.kif 4771-4771	The number 1 argument of sub plan is an instance of plan
(domain subPlan 2 Plan)	Merge.kif 4772-4772	The number 2 argument of sub plan is an instance of plan
(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 4774-4777	The number 2 argument of sub plan is an instance of plan

appearance as argument number 2

(termFormat EnglishLanguage subPlan "sub plan")	domainEnglishFormat.kif 55765-55765
(termFormat ChineseTraditionalLanguage subPlan "子計劃")	domainEnglishFormat.kif 55766-55766
(termFormat ChineseLanguage subPlan "子计划")	domainEnglishFormat.kif 55767-55767
(format EnglishLanguage subPlan "%1 is %n a sub-plan of %2")	english_format.kif 238-238

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 18231-18239

If X is an instance of educational program, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of educational course (3) Z is an instance of educational course (4) equal Y (5) Z (6) Y is a sub-plan of X (7) Z is a sub-plan of X

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

KB Term:			Term intersection

English Word: