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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plan
Plan(計画)

appearance as argument number 1
-------------------------


(documentation Plan ChineseLanguage "这是为了在将来能实现一个特定目标而成立的一组按顺序执行 Process 的规格。") Merge.kif 21463-21464
(documentation Plan EnglishLanguage "A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.") Merge.kif 21461-21462
(subclass Plan Procedure) Merge.kif 21460-21460 計画 は 手順 の subclass では %n

appearance as argument number 2
-------------------------


(subclass Diet Plan) Mid-level-ontology.kif 19168-19168 Diet は 計画 の subclass では %n
(subclass EducationalProgram Plan) Mid-level-ontology.kif 14212-14212 EducationalProgram は 計画 の subclass では %n
(subclass OperationPlan Plan) MilitaryProcesses.kif 1511-1511 OperationPlan は 計画 の subclass では %n
(subclass SportsPlay Plan) Mid-level-ontology.kif 14241-14241 SportsPlay は 計画 の subclass では %n
(termFormat ChineseLanguage Plan "计划") chinese_format.kif 1234-1234 termFormat ChineseLanguage, 計画 and "计划"
(termFormat EnglishLanguage Plan "plan") english_format.kif 2415-2415 termFormat EnglishLanguage, 計画 and "plan"
(termFormat JapaneseLanguage Plan "計画") english_format.kif 2416-2416 termFormat JapaneseLanguage, 計画 and "計画"

appearance as argument number 3
-------------------------


(domain subPlan 1 Plan) Merge.kif 6898-6898 subPlan の数値 1 引数は 計画 の instance では %n
(domain subPlan 2 Plan) Merge.kif 6899-6899 subPlan の数値 2 引数は 計画 の instance では %n

antecedent
-------------------------


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 21466-21474
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNNG ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))		 Military.kif 32-44

consequent
-------------------------


(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))		 Merge.kif 14830-14838
(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (desires ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))		 UXExperimentalTerms.kif 2803-2812
(=>
    (instance ?MO MilitaryOperation)
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (represents ?PLAN ?MO))))		 Military.kif 25-30
(=>
    (instance ?TPS TestProtocolSpecification)
    (exists (?PLAN ?EXPERIMENT ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?EXPERIMENT Experimenting)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (subProcess ?EXPERIMENT ?PROC)
            (containsInformation ?TPS ?PLAN))))		 UXExperimentalTerms.kif 2961-2970


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners