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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plan
Plan(plan)401-k, 401-k_plan, BW_defence, BW_defense, ECCM, ECM, ESM, ESOP, EW, Gunpowder_Plot, Keogh_plan, Markoff_chain, Markoff_process, Markov_chain, Markov_process, Thatcherism, academic_program, active_air_defense, activism, agenda, air_defense, approach, attack, audit_program, audit_programme, avenue, bacteriological_warfare, battle_plan, beggar-my-neighbor_policy, beggar-my-neighbor_strategy, beggar-my-neighbour_policy, beggar-my-neighbour_strategy, bill_of_Particulars, biofeedback, biological_warfare_defence, biological_warfare_defense, blueprint, bubble, cabal, call_off, cancel, cash_cow, centralism, chemical_defence, chemical_defense, circuit, civil_defense, color_scheme, colour_scheme, computer_architecture...

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 16870-16871
(subclass Plan Procedure) Merge.kif 16869-16869 Plan is a subclass of procedure

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


(subclass Diet Plan) Mid-level-ontology.kif 21557-21557 Diet is a subclass of plan
(subclass EducationalProgram Plan) Mid-level-ontology.kif 16638-16638 Educational program is a subclass of plan
(subclass OperationPlan Plan) MilitaryProcesses.kif 1543-1543 Operation plan is a subclass of plan
(subclass SportsPlay Plan) Mid-level-ontology.kif 16667-16667 Sports play is a subclass of plan
(termFormat ChineseLanguage Plan "计划") chinese_format.kif 1234-1234
(termFormat EnglishLanguage Plan "plan") english_format.kif 1689-1689
(termFormat FrenchLanguage Plan "plan") french_format.kif 912-912
(termFormat Hindi Plan "yojanaa") terms-hindi.txt 445-445
(termFormat ItalianLanguage Plan "Programma") terms-it.txt 448-448
(termFormat JapaneseLanguage Plan "計画") japanese_format.kif 2596-2596
(termFormat PortugueseLanguage Plan "Plano") portuguese_format.kif 864-864
(termFormat cb Plan "plano") terms-cb.txt 450-450
(termFormat cz Plan "plan") terms-cz.txt 484-484
(termFormat ro Plan "plan") relations-ro.kif 933-933
(termFormat tg Plan "Plano") terms-tg.txt 449-449

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


(domain subPlan 1 Plan) Merge.kif 4659-4659 The number 1 argument of sub plan is an instance of plan
(domain subPlan 2 Plan) Merge.kif 4660-4660 The number 2 argument of sub plan is an instance of plan

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


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 16873-16881
(=>
    (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 10874-10882
(=>
    (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