TreeView Knowledge Base Browser - MilitaryCommander

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MilitaryCommander

Sigma KEE - MilitaryCommander

MilitaryCommander(軍事指揮官)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

Government.kif 1358-1358

例軍事指揮官 and Position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 333-333	子屬性戰鬥指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 894-894	子屬性導演.JS and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 357-357	子屬性聯合部隊空軍司令 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 345-345	子屬性聯合部隊指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 379-379	子屬性聯合部隊陸軍指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 401-401	子屬性聯合部隊海上指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 433-433	子屬性聯合部隊特種作戰指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 337-337	子屬性聯合特遣部隊指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 468-468	子屬性主席 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 455-455	子屬性國防部長 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 339-339	子屬性服務主管 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 335-335	子屬性統一指揮官 and 軍事指揮官
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37565-37565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37564-37564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37563-37563

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
No TPTP formula. May not be expressible in strict first order.	Government.kif 332-334	%2 是 1% 的 government 類別軍事指揮官是 AutonomousAgent 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1663-1673	例 Process and 操作順序 AutonomousAgent Position and Organization agent Process and AutonomousAgent 起源 Process and AutonomousAgent 目的地 Process and Position 例 AutonomousAgent and 軍事指揮官例 Position and 軍事指揮官 Organization 是對於 %3 的 subordinate 職位例 Organization and 軍事力量

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