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


KB Term:  Term intersection
English Word: 

  Planning

 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...

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


(subclass Planning IntentionalPsychologicalProcess) Merge.kif 11082-11082 Planning is a subclass of intentional psychological process
(documentation Planning EnglishLanguage "Specifying a set of actions in order to meet a set of goals or objectives.") Merge.kif 11084-11085 Planning is a subclass of intentional psychological process
(externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") pictureList.kif 6771-6771 Planning is a subclass of intentional psychological process

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


(subclass Choreographing Planning) Mid-level-ontology.kif 17651-17651 Choreographing is a subclass of planning
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1544-1544 Operation planning is a subclass of planning
(termFormat EnglishLanguage Planning "planning") english_format.kif 1435-1435 Operation planning is a subclass of planning

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


(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))		 Merge.kif 11087-11095 If X is an instance of planning, Y is a result of X, and Y is an instance of content bearing object, then there exists Z such that Z is an instance of plan and Y contains information Z

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


(=>
    (instance ?LANG ConstructedLanguage)
    (exists (?PLAN)
        (and
            (instance ?PLAN Planning)
            (result ?PLAN ?LANG))))		 Merge.kif 1559-1564 If X is an instance of constructed language, then there exists Y such that Y is an instance of planning and X is a result of Y
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 17155-17163 If X is an instance of plan, Y is an instance of content bearing object, and Y contains information X, then there exists Z such that Z is an instance of planning and Y is a result of Z
(=>
    (instance ?MEETING FormalMeeting)
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?MEETING)
            (earlier
                (WhenFn ?PLANNING)
                (WhenFn ?MEETING)))))		 Mid-level-ontology.kif 17601-17607 If X is an instance of formal meeting, then there exists Y such that Y is an instance of planning, X is a result of Y, and the time of existence of Y happens earlier than the time of existence of X
(=>
    (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 If X is an instance of plan, Y is an instance of process, and X expresses Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of planning (3) W is an instance of content bearing physical (4) W contains information X (5) W is a result of Z (6) the beginning of the time of existence of Z happens earlier than the beginning of the time of existence of Y (7) the end of the time of existence of Z happens earlier than the end of the time of existence of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners