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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subPlan

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 4565-4568
(domain subPlan 1 Plan) Merge.kif 4562-4562 The number 1 argument of sub plan is an instance of plan
(domain subPlan 2 Plan) Merge.kif 4563-4563 The number 2 argument of sub plan is an instance of plan
(instance subPlan IrreflexiveRelation) Merge.kif 4560-4560 sub plan is an instance of irreflexive relation
(instance subPlan PartialValuedRelation) Merge.kif 4561-4561 sub plan is an instance of partial valued relation
(instance subPlan TransitiveRelation) Merge.kif 4559-4559 sub plan is an instance of transitive relation
(subrelation subPlan subProposition) Merge.kif 4558-4558 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
(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)

Show without tree


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