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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Planning

Sigma KEE - Planning
Planning(规划)

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


(documentation Planning ChineseLanguage "这是为了达到一套目的或目标所指定的一套行动。") Merge.kif 10805-10805
(documentation Planning EnglishLanguage "Specifying a set of actions in order to meet a set of goals or objectives.") Merge.kif 10803-10804
(externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") pictureList.kif 6773-6773 externalImage 规划 and "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Planning_proces.gif"
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10802-10802 规划有意图的心理过程subclass

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


(subclass Choreographing Planning) Mid-level-ontology.kif 13698-13698 Choreographing规划subclass
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1490-1490 OperationPlanning规划subclass
(termFormat ChineseLanguage Planning "规划") chinese_format.kif 1107-1107 termFormat ChineseLanguage, 规划 and "规划"
(termFormat EnglishLanguage Planning "planning") english_format.kif 1398-1398 termFormat EnglishLanguage, 规划 and "planning"
(termFormat JapaneseLanguage Planning "計画") english_format.kif 1399-1399 termFormat JapaneseLanguage, 规划 and "計画"

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


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

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


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 17094-17102
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNNG ?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 1509-1514
(=>
    (instance ?MEETING FormalMeeting)
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?MEETING)
            (earlier
                (WhenFn ?PLANNING)
                (WhenFn ?MEETING)))))
Mid-level-ontology.kif 13649-13655


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners