TreeView Knowledge Base Browser - SubunifiedCommander

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

connectedPeripheral

Sigma KEE - SubunifiedCommander

SubunifiedCommander(統一指揮官)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 334-334	例統一指揮官 and Position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 335-335	子屬性統一指揮官 and 軍事指揮官

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55866-55866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55865-55865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55864-55864

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