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 10871-10872
(documentation Planning JapaneseLanguage "一連の目標または目的を満たすために一連のアクションを指定する。")	japanese_format.kif 1734-1735
(externalImage Planning "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ Planning_proces.gif")	pictureList.kif 6772-6772
(subclass Planning IntentionalPsychologicalProcess)	Merge.kif 10869-10869	計画は意図的な心理的プロセスの subclass では %n

appearance as argument number 2

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

antecedent

(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))

Merge.kif 10874-10882

工程は計画の instance では %n ContentBearingPhysical は工程の result では %n ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では %n
命題命題は計画の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない}

consequent

(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))	Merge.kif 16873-16881	命題は計画の instance では %n ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} 命題NING 命題NING は計画の instance では %n ContentBearingPhysical は命題NING の result では %n
(=> (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 では %n 物理は工程の instance では %n 命題は物理を expresses %n{ない} 命題NING ContentBearingPhysical 命題NING は計画の instance では %n ContentBearingPhysical は ContentBearingPhysical の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical は命題NING の result では %n 命題NING の time の existence の beginning は物理の time の existence の beginning より earlier happens %n{ない} 命題NING の time の existence の end は物理の time の existence の end より earlier happens %n{ない}
(=> (instance ?LANG ConstructedLanguage) (exists (?PLAN) (and (instance ?PLAN Planning) (result ?PLAN ?LANG))))	Merge.kif 1470-1475	エンティティーは人工言語の instance では %n 工程工程は計画の instance では %n エンティティーは工程の result では %n
(=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING)))))	Mid-level-ontology.kif 16211-16217	物理は FormalMeeting の instance では %n 工程工程は計画の instance では %n 物理は工程の result では %n 工程の time の existence は物理の time の existence より earlier happens %n{ない}

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: