TreeView Knowledge Base Browser - OperationPlanning

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

OperationPlanning

Sigma KEE - OperationPlanning

OperationPlanning(運營計劃)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1523-1525
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1521-1521	子類運營計劃 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1522-1522	子類運營計劃 and Planning

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1762-1762	子類聯合作戰計劃 and 運營計劃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42276-42276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42275-42275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42274-42274

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	例 Process and 運營計劃結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Proposition and 運作計劃
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1582-1604	例 Process and 運營計劃 agent Process and AutonomousAgent 例 AutonomousAgent and 戰鬥指揮官 Process AutonomousAgent 例 Process and Requesting agent Process and AutonomousAgent attribute AutonomousAgent and 主席JCs 原因 Process and Process 例 AutonomousAgent and 統一指揮官 Process AutonomousAgentSUPER and Organization 例 Process and Requesting agent Process and AutonomousAgentSUPER attribute AutonomousAgentSUPER and 軍事指揮官 Organization 是對於 %3 的 subordinate 職位例 Organization and 軍事力量原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2082-2090	例 Entity and 反恐戰略例 Process and 運營計劃結果 Process and Entity Entity 患者 Process and Entity 例 Entity and 反恐

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1535-1541	例 Proposition and 運作計劃包含信息內容承載物理 and Proposition 例內容承載物理 and ContentBearingObject 結果 Process and 內容承載物理例 Process and 運營計劃
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1686-1694	例 Process and 操作順序 Entity EntityNING 例 Entity and OPLAN 例 EntityNING and 運營計劃結果 EntityNING and Entity 原因 EntityNING and Process 參照 Entity and Process

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