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 4661-4664
(documentation subPlan JapaneseLanguage "(subPlan ?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である Plan であることを意味する。この関係は、一般に、特定のコンテキストでサポート Plan を全体的な Plan に関連付けるために使用される。") japanese_format.kif 870-872
(domain subPlan 1 Plan) Merge.kif 4658-4658 The number 1 argument of sub plan is an instance of plan
(domain subPlan 2 Plan) Merge.kif 4659-4659 The number 2 argument of sub plan is an instance of plan
(instance subPlan IrreflexiveRelation) Merge.kif 4656-4656 sub plan is an instance of irreflexive relation
(instance subPlan PartialValuedRelation) Merge.kif 4657-4657 sub plan is an instance of partial valued relation
(instance subPlan TransitiveRelation) Merge.kif 4655-4655 sub plan is an instance of transitive relation
(subrelation subPlan subProposition) Merge.kif 4654-4654 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
(format FrenchLanguage subPlan "%1 est %n un sous-plan de %2") french_format.kif 136-136
(format ItalianLanguage subPlan "%1 è un sottoprogramma di %2") relations-it.txt 276-276
(format JapaneseLanguage subPlan "%1 は %2 の sub-plan では %n") japanese_format.kif 1967-1967
(format PortugueseLanguage subPlan "%1 e' %n um ssub-plano de %2") portuguese_format.kif 88-88
(format de subPlan "%1 ist ein teilplan von %2") relations-de.txt 305-305
(format hi subPlan "%1 %2 kii upayojanaa hai") relations-hindi.txt 313-313
(format ro subPlan "%1 %n{nu} este un sub-plan%t{subplan} al lui %2") relations-ro.kif 155-155
(format sv subPlan "%1 är %n{inte} en delplan av %2") relations-sv.txt 141-141
(format tg subPlan "%1 ay ang balak mas baba ng %2") relations-tg.txt 468-468
(termFormat ChineseLanguage subPlan "子计划") chinese_format.kif 238-238
(termFormat ChineseTraditionalLanguage subPlan "子計劃") domainEnglishFormat.kif 55769-55769
(termFormat EnglishLanguage subPlan "sub plan") domainEnglishFormat.kif 55768-55768
(termFormat de subPlan "teilplan") terms-de.txt 98-98

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 16617-16625


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