Planning - Sigma Knowledge base Browser

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 10143-10144
(externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif")	pictureList.kif 6773-6773
(subclass Planning IntentionalPsychologicalProcess)	Merge.kif 10141-10141	subclass Planning and IntentionalPsychologicalProcess

appearance as argument number 2

(subclass Choreographing Planning)	Mid-level-ontology.kif 13725-13725	subclass Choreographing and Planning
(subclass OperationPlanning Planning)	MilitaryProcesses.kif 1503-1503	subclass OperationPlanning and 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 10146-10154

instance Process and Planning result Process and ContentBearingPhysical instance ContentBearingPhysical and ContentBearingObject
Proposition instance Proposition and Plan containsInformation ContentBearingPhysical and Proposition

consequent

(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))	Merge.kif 15657-15665	instance Proposition and Plan instance ContentBearingPhysical and ContentBearingObject containsInformation ContentBearingPhysical and Proposition PropositionNING instance PropositionNING and Planning result PropositionNING and ContentBearingPhysical
(=> (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 Proposition and Plan instance Physical and Process represents Proposition and Physical PropositionNING ContentBearingPhysical instance PropositionNING and Planning instance ContentBearingPhysical and ContentBearingPhysical containsInformation ContentBearingPhysical and Proposition result PropositionNING and ContentBearingPhysical earlier BeginFn WhenFn PropositionNING and BeginFn WhenFn Physical earlier EndFn WhenFn PropositionNING and EndFn WhenFn Physical
(=> (instance ?LANG ConstructedLanguage) (exists (?PLAN) (and (instance ?PLAN Planning) (result ?PLAN ?LANG))))	Merge.kif 1355-1360	instance Entity and ConstructedLanguage Process instance Process and Planning result Process and Entity
(=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING)))))	Mid-level-ontology.kif 13676-13682	instance Physical and FormalMeeting Process instance Process and Planning result Process and Physical earlier WhenFn Process and WhenFn Physical

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

KB Term:			Term intersection

English Word: