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 的规格。") chinese_format.kif 3763-3764
(documentation Plan EnglishLanguage "A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.") Merge.kif 15593-15594
(subclass Plan Procedure) Merge.kif 15592-15592 subclass Plan and Procedure

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


(subclass Diet Plan) Mid-level-ontology.kif 19179-19179 subclass Diet and Plan
(subclass EducationalProgram Plan) Mid-level-ontology.kif 14212-14212 subclass EducationalProgram and Plan
(subclass OperationPlan Plan) MilitaryProcesses.kif 1524-1524 subclass OperationPlan and Plan
(subclass SportsPlay Plan) Mid-level-ontology.kif 14241-14241 subclass SportsPlay and Plan
(termFormat ChineseLanguage Plan "计划") chinese_format.kif 1234-1234
(termFormat EnglishLanguage Plan "plan") english_format.kif 1694-1694

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


(domain subPlan 1 Plan) Merge.kif 4427-4427 domain subPlan, 1 and Plan
(domain subPlan 2 Plan) Merge.kif 4428-4428 domain subPlan, 2 and Plan

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


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 15596-15604
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNING ?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 10093-10101
(=>
    (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 2801-2810
(=>
    (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 2959-2968


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