Plan - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Plan

Plan(計画)

appearance as argument number 1

(documentation Plan ChineseLanguage "这是为了在将来能实现一个特定目标而成立的一组按顺序执行 Process 的规格。")	chinese_format.kif 3763-3764
(documentation Plan EnglishLanguage "A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.")	Merge.kif 16870-16871
(subclass Plan Procedure)	Merge.kif 16869-16869	計画は手順の subclass では %n

appearance as argument number 2

(subclass Diet Plan)	Mid-level-ontology.kif 21788-21788	Diet は計画の subclass では %n
(subclass EducationalProgram Plan)	Mid-level-ontology.kif 16829-16829	EducationalProgram は計画の subclass では %n
(subclass OperationPlan Plan)	MilitaryProcesses.kif 1543-1543	OperationPlan は計画の subclass では %n
(subclass SportsPlay Plan)	Mid-level-ontology.kif 16858-16858	SportsPlay は計画の subclass では %n
(termFormat ChineseLanguage Plan "计划")	chinese_format.kif 1234-1234	SportsPlay は計画の subclass では %n
(termFormat EnglishLanguage Plan "plan")	english_format.kif 1689-1689	SportsPlay は計画の subclass では %n
(termFormat FrenchLanguage Plan "plan")	french_format.kif 912-912	SportsPlay は計画の subclass では %n
(termFormat Hindi Plan "yojanaa")	terms-hindi.txt 445-445	SportsPlay は計画の subclass では %n
(termFormat ItalianLanguage Plan "Programma")	terms-it.txt 448-448	SportsPlay は計画の subclass では %n
(termFormat JapaneseLanguage Plan "計画")	japanese_format.kif 2596-2596	SportsPlay は計画の subclass では %n
(termFormat PortugueseLanguage Plan "Plano")	portuguese_format.kif 864-864	SportsPlay は計画の subclass では %n
(termFormat cb Plan "plano")	terms-cb.txt 450-450	SportsPlay は計画の subclass では %n
(termFormat cz Plan "plan")	terms-cz.txt 484-484	SportsPlay は計画の subclass では %n
(termFormat ro Plan "plan")	relations-ro.kif 933-933	SportsPlay は計画の subclass では %n
(termFormat tg Plan "Plano")	terms-tg.txt 449-449	SportsPlay は計画の subclass では %n

appearance as argument number 3

(domain subPlan 1 Plan)	Merge.kif 4659-4659	subPlan の数値 1 引数は計画の instance では %n
(domain subPlan 2 Plan)	Merge.kif 4660-4660	subPlan の数値 2 引数は計画の instance では %n

antecedent

(=> (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{ない}

consequent

(=> (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{ない}
(=> (instance ?BRD BusinessRequirementDocument) (exists (?PLAN ?BU ?PROC) (and (instance ?PLAN Plan) (instance ?BU Business) (instance ?PROC Process) (represents ?PLAN ?PROC) (desires ?BU ?PROC) (containsInformation ?BRD ?PLAN))))	UXExperimentalTerms.kif 2596-2605	ContentBearingPhysical は BusinessRequirementDocument の instance では %n 命題認識エージェント and 公式命題は計画の instance では %n 認識エージェントは Business の instance では %n 公式は工程の instance では %n 命題は公式を expresses %n{ない} 認識エージェントが公式を desires %n{ない} ContentBearingPhysical は命題の情報を contains %n{ない}
(=> (instance ?MO MilitaryOperation) (exists (?PLAN) (and (instance ?PLAN Plan) (represents ?PLAN ?MO))))	Military.kif 25-30	エンティティーは MilitaryOperation の instance では %n エンティティーエンティティーは計画の instance では %n エンティティーはエンティティーを expresses %n{ない}
(=> (instance ?TPS TestProtocolSpecification) (exists (?PLAN ?EXPERIMENT ?PROC) (and (instance ?PLAN Plan) (instance ?EXPERIMENT Experimenting) (instance ?PROC Process) (represents ?PLAN ?PROC) (subProcess ?EXPERIMENT ?PROC) (containsInformation ?TPS ?PLAN))))	UXExperimentalTerms.kif 2754-2763	ContentBearingPhysical は TestProtocolSpecification の instance では %n 命題工程 and 工程命題は計画の instance では %n 工程は Experimenting の instance では %n 工程は工程の instance では %n 命題は工程を expresses %n{ない} 工程は工程% の subprocess では %n ContentBearingPhysical は命題の情報を contains %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