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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Planning
Planning(planifier)

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 10960-10961
(documentation Planning JapaneseLanguage "一連の目標または目的を満たすために一連のアクションを 指定する。") japanese_format.kif 1734-1735
(externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif") pictureList.kif 6771-6771
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10958-10958 Planifier est une sous-classe de processus psycholoqique intentionnel

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


(subclass Choreographing Planning) Mid-level-ontology.kif 17450-17450 Choreographing est une sous-classe de planifier
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1522-1522 OperationPlanning est une sous-classe de planifier
(termFormat ChineseLanguage Planning "规划") chinese_format.kif 1107-1107 OperationPlanning est une sous-classe de planifier
(termFormat EnglishLanguage Planning "planning") english_format.kif 1431-1431 OperationPlanning est une sous-classe de planifier
(termFormat FrenchLanguage Planning "planifier") french_format.kif 785-785 OperationPlanning est une sous-classe de planifier
(termFormat Hindi Planning "") terms-hindi.txt 317-317 OperationPlanning est une sous-classe de planifier
(termFormat ItalianLanguage Planning "Pianificazione") terms-it.txt 320-320 OperationPlanning est une sous-classe de planifier
(termFormat JapaneseLanguage Planning "計画") japanese_format.kif 2469-2469 OperationPlanning est une sous-classe de planifier
(termFormat PortugueseLanguage Planning "Planejar") portuguese_format.kif 737-737 OperationPlanning est une sous-classe de planifier
(termFormat cb Planning "pagplano") terms-cb.txt 322-322 OperationPlanning est une sous-classe de planifier
(termFormat cz Planning "planning") terms-cz.txt 356-356 OperationPlanning est une sous-classe de planifier
(termFormat de Planning "Planen") terms-de.txt 615-615 OperationPlanning est une sous-classe de planifier
(termFormat ro Planning "planificare") relations-ro.kif 806-806 OperationPlanning est une sous-classe de planifier
(termFormat tg Planning "pagplano") terms-tg.txt 321-321 OperationPlanning est une sous-classe de planifier

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


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

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


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 16962-16970
(=>
    (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 1465-1470
(=>
    (instance ?MEETING FormalMeeting)
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?MEETING)
            (earlier
                (WhenFn ?PLANNING)
                (WhenFn ?MEETING)))))		 Mid-level-ontology.kif 17400-17406


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