TreeView 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 10997-10998
(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 10995-10995	Planning is a subclass of intentional psychological process

appearance as argument number 2

(subclass Choreographing Planning)	Mid-level-ontology.kif 17416-17416	Choreographing is a subclass of planning
(subclass OperationPlanning Planning)	MilitaryProcesses.kif 1522-1522	Operation planning is a subclass of planning
(termFormat ChineseLanguage Planning "规划")	chinese_format.kif 1107-1107	Operation planning is a subclass of planning
(termFormat EnglishLanguage Planning "planning")	english_format.kif 1431-1431	Operation planning is a subclass of planning
(termFormat FrenchLanguage Planning "planifier")	french_format.kif 785-785	Operation planning is a subclass of planning
(termFormat Hindi Planning "")	terms-hindi.txt 317-317	Operation planning is a subclass of planning
(termFormat ItalianLanguage Planning "Pianificazione")	terms-it.txt 320-320	Operation planning is a subclass of planning
(termFormat JapaneseLanguage Planning "計画")	japanese_format.kif 2469-2469	Operation planning is a subclass of planning
(termFormat PortugueseLanguage Planning "Planejar")	portuguese_format.kif 737-737	Operation planning is a subclass of planning
(termFormat cb Planning "pagplano")	terms-cb.txt 322-322	Operation planning is a subclass of planning
(termFormat cz Planning "planning")	terms-cz.txt 356-356	Operation planning is a subclass of planning
(termFormat de Planning "Planen")	terms-de.txt 615-615	Operation planning is a subclass of planning
(termFormat ro Planning "planificare")	relations-ro.kif 806-806	Operation planning is a subclass of planning
(termFormat tg Planning "pagplano")	terms-tg.txt 321-321	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 11000-11008

If a process is an instance of planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object,
then there exists a proposition such that the proposition is an instance of plan and the content bearing physical contains information the proposition

consequent

(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))	Merge.kif 16999-17007	If a proposition is an instance of plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition, then there exists the propositionNING such that the propositionNING is an instance of planning and the content bearing physical is a result of the propositionNING
(=> (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 a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical, then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the physical
(=> (instance ?LANG ConstructedLanguage) (exists (?PLAN) (and (instance ?PLAN Planning) (result ?PLAN ?LANG))))	Merge.kif 1505-1510	If an entity is an instance of constructed language, then there exists a process such that the process is an instance of planning and the entity is a result of the process
(=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING)))))	Mid-level-ontology.kif 17366-17372	If a physical is an instance of formal meeting, then there exists a process such that the process is an instance of planning and the physical is a result of the process and the time of existence of the process happens earlier than the time of existence of the physical

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: