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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 4571-4574
(domain subPlan 1 Plan) Merge.kif 4568-4568
(domain subPlan 2 Plan) Merge.kif 4569-4569
(instance subPlan IrreflexiveRelation) Merge.kif 4566-4566
(instance subPlan PartialValuedRelation) Merge.kif 4567-4567
(instance subPlan TransitiveRelation) Merge.kif 4565-4565
(subrelation subPlan subProposition) Merge.kif 4564-4564

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


    (instance ?PROGRAM EducationalProgram)
    (exists (?COURSE1 ?COURSE2)
            (instance ?COURSE1 EducationalCourse)
            (instance ?COURSE2 EducationalCourse)
                (equal ?COURSE1 ?COURSE2))
            (subPlan ?COURSE1 ?PROGRAM)
            (subPlan ?COURSE2 ?PROGRAM))))
Mid-level-ontology.kif 16061-16069

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