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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Planning
Planning(planning)
ad-lib, ad_hoc, aforethought, applecart, arrange, arranged, automate, automatise, automatize, be_after, block_out, budget, budgetary, calculated, calculation, calendar, casual, casually, chance, chart, choreograph, city_planning, conceive, conceptualise, conceptualize, concert, configured, connect, conspirative, conspiratorial, contrive, dehumanise, dehumanize, deliberate, deliberation, design, designing, devise, digest, direct, dogfight, elaborate, embattle, engineer, extemporaneous, extemporaneously, extemporarily, extemporary, extempore, fix...

VerbNet: establish-55.5|arrange, wish-62|plan, create-26.4|design, establish-55.5|devise, create-26.4|organize, create-26.4|organize, price-54.4|fix, establish-55.5|devise, create-26.4|lay, establish-55.5|devise, create-26.4|organize, create-26.4|model, create-26.4|organize, establish-55.5|devise, establish-55.5|devise, create-26.4|model, create-26.4|design, correspond-36.1|plot, establish-55.5|devise, create-26.4|schedule, establish-55.5|arrange,


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


(documentation Planning ChineseLanguage "这是为了达到一套目的或目标所指定的一套行动。") chinese_format.kif 2975-2975
(documentation Planning EnglishLanguage "Specifying a set of actions in order to meet a set of goals or objectives.") Merge.kif 10123-10124
(externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") pictureList.kif 6773-6773
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10121-10121 Planning is a subclass of intentional psychological process

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


(subclass Choreographing Planning) Mid-level-ontology.kif 13723-13723 Choreographing is a subclass of planning
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1503-1503 Operation planning is a subclass of planning
(termFormat ChineseLanguage Planning "规划") chinese_format.kif 1107-1107
(termFormat EnglishLanguage Planning "planning") english_format.kif 1436-1436

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


(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))
Merge.kif 10126-10134

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


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 15623-15631
(=>
    (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
(=>
    (instance ?LANG ConstructedLanguage)
    (exists (?PLAN)
        (and
            (instance ?PLAN Planning)
            (result ?PLAN ?LANG))))
Merge.kif 1351-1356
(=>
    (instance ?MEETING FormalMeeting)
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?MEETING)
            (earlier
                (WhenFn ?PLANNING)
                (WhenFn ?MEETING)))))
Mid-level-ontology.kif 13674-13680


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