TreeView Knowledge Base Browser - Plan

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Plan

Sigma KEE - Plan

Plan

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3763-3764
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16870-16871
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16869-16869	子類 Plan and Procedure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21557-21557	子類飲食 and Plan
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16638-16638	子類教育計劃 and Plan
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1543-1543	子類運作計劃 and Plan
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16667-16667	子類體育比賽 and Plan
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1234-1234
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1689-1689
No TPTP formula. May not be expressible in strict first order.	french_format.kif 912-912
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 445-445
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 448-448
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2596-2596
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 864-864
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 450-450
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 484-484
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 933-933
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 449-449

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4659-4659	域子計劃, 1 and Plan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4660-4660	域子計劃, 2 and Plan

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16873-16881	例 Proposition and Plan 例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition PropositionNING 例 PropositionNING and Planning 結果 PropositionNING and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	例 Proposition and Plan 例 Physical and Process 代表 Proposition and Physical PropositionNING 內容承載物理例 PropositionNING and Planning 例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 結果 PropositionNING and 內容承載物理早期開始何時 PropositionNING and 開始何時 Physical 早期結束何時 PropositionNING and 結束何時 Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10874-10882	例 Process and Planning 結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject Proposition 例 Proposition and Plan 包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	例內容承載物理 and BusinessRequirementDocument Proposition CognitiveAgent and Formula 例 Proposition and Plan 例 CognitiveAgent and Business 例 Formula and Process 代表 Proposition and Formula 慾望 CognitiveAgent and Formula 包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	Military.kif 25-30	例 Entity and 軍事行動 Entity 例 Entity and Plan 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	例內容承載物理 and TestProtocolSpecification Proposition Process and Process 例 Proposition and Plan 例 Process and 試驗例 Process and Process 代表 Proposition and Process 子過程 Process and Process 包含信息內容承載物理 and Proposition

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