Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subPlan
subPlan

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 4485-4488
(domain subPlan 1 Plan) Merge.kif 4482-4482
(domain subPlan 2 Plan) Merge.kif 4483-4483
(instance subPlan IrreflexiveRelation) Merge.kif 4480-4480
(instance subPlan PartialValuedRelation) Merge.kif 4481-4481
(instance subPlan TransitiveRelation) Merge.kif 4479-4479
(subrelation subPlan subProposition) Merge.kif 4478-4478

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

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 14245-14253


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