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 16974-16975
(subclass Plan Procedure) Merge.kif 16973-16973 計画 は 手順 の subclass では

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


(subclass Diet Plan) Mid-level-ontology.kif 23147-23147 Diet は 計画 の subclass では
(subclass EducationalProgram Plan) Mid-level-ontology.kif 17998-17998 EducationalProgram は 計画 の subclass では
(subclass OperationPlan Plan) MilitaryProcesses.kif 1543-1543 OperationPlan は 計画 の subclass では
(subclass SportsPlay Plan) Mid-level-ontology.kif 18027-18027 SportsPlay は 計画 の subclass では
(termFormat ChineseLanguage Plan "计划") chinese_format.kif 1234-1234 SportsPlay は 計画 の subclass では
(termFormat EnglishLanguage Plan "plan") english_format.kif 1689-1689 SportsPlay は 計画 の subclass では
(termFormat FrenchLanguage Plan "plan") french_format.kif 912-912 SportsPlay は 計画 の subclass では
(termFormat Hindi Plan "yojanaa") terms-hindi.txt 445-445 SportsPlay は 計画 の subclass では
(termFormat ItalianLanguage Plan "Programma") terms-it.txt 448-448 SportsPlay は 計画 の subclass では
(termFormat JapaneseLanguage Plan "計画") japanese_format.kif 2596-2596 SportsPlay は 計画 の subclass では
(termFormat PortugueseLanguage Plan "Plano") portuguese_format.kif 864-864 SportsPlay は 計画 の subclass では
(termFormat cb Plan "plano") terms-cb.txt 450-450 SportsPlay は 計画 の subclass では
(termFormat cz Plan "plan") terms-cz.txt 484-484 SportsPlay は 計画 の subclass では
(termFormat de Plan "Plan") terms-de.txt 743-743 SportsPlay は 計画 の subclass では
(termFormat ro Plan "plan") relations-ro.kif 933-933 SportsPlay は 計画 の subclass では
(termFormat tg Plan "Plano") terms-tg.txt 449-449 SportsPlay は 計画 の subclass では

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


(domain subPlan 1 Plan) Merge.kif 4686-4686 subPlan の数値 1 引数は 計画 の instance では
(domain subPlan 2 Plan) Merge.kif 4687-4687 subPlan の数値 2 引数は 計画 の instance では

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


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 16977-16985
(=>
    (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 10978-10986
(=>
    (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 2596-2605
(=>
    (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 2754-2763


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