TreeView Knowledge Base Browser - CombatantCommander

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CombatantCommander

Sigma KEE - CombatantCommander

CombatantCommander(戰鬥指揮官)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 332-332	例戰鬥指揮官 and Position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 333-333	子屬性戰鬥指揮官 and 軍事指揮官

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15720-15720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15719-15719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15718-15718

consequent

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

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