Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
leaderPosition
Sigma KEE - leaderPosition
leaderPosition
appearance as argument number 1
(
documentation
leaderPosition
EnglishLanguage
"(
leaderPosition
?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the
Position
?ROLE in the organization.")
Government.kif 1438-1440
(
domain
leaderPosition
1
AutonomousAgent
)
Government.kif 1435-1435
域
領導職位
, 1 and
AutonomousAgent
(
domain
leaderPosition
2
Position
)
Government.kif 1436-1436
域
領導職位
, 2 and
Position
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1434-1434
例
領導職位
and
AsymmetricRelation
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1433-1433
例
領導職位
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
leaderPosition
"%2 %n 是 %1 的
leader
职位")
domainEnglishFormat.kif 1455-1455
(
format
ChineseTraditionalLanguage
leaderPosition
"%2 %n 是 %1 的
leader
職位")
domainEnglishFormat.kif 1454-1454
(
format
EnglishLanguage
leaderPosition
"%2 is %n a
leader
position of %1")
domainEnglishFormat.kif 1453-1453
(
termFormat
ChineseLanguage
leaderPosition
"领导职位")
domainEnglishFormat.kif 33611-33611
(
termFormat
ChineseTraditionalLanguage
leaderPosition
"領導職位")
domainEnglishFormat.kif 33610-33610
(
termFormat
EnglishLanguage
leaderPosition
"leader position")
domainEnglishFormat.kif 33609-33609
antecedent
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
attribute
Organization
and
和平國家
例
Organization
and
軍事組織
Position
是
Organization
的
leader
職位
Organization
是 對於 %3 的
subordinate
職位
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
attribute
Organization
and
戰爭狀態
例
Organization
and
軍事組織
Position
是
Organization
的
leader
職位
Organization
是 對於 %3 的
subordinate
職位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
例
GeopoliticalArea
and
Nation
Position
是
政府
GeopoliticalArea
的
leader
職位
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
例
GeopoliticalArea
and
Nation
Position
是
GeopoliticalArea
的
leader
職位
Position
是
政府
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
Position
是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
是 對於 %3 的
subordinate
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
子組織
Organization
and
Organization
等於
Organization
and
Organization
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
例
Human
and
Human
例
Position
and
Position
例
GeopoliticalArea
and
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
例
Human
and
Human
例
Position
and
Position
例
Organization
and
AutonomousAgent
Position
是
Organization
的
leader
職位
佔據位置
Human
,
Position
and
Organization
Human
是
Organization
的
leader
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
%2 是 1% 的
government
類別
例
AutonomousAgent
and
GeopoliticalArea
君主
是
AutonomousAgent
的
leader
職位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
例
GeopoliticalArea
and
Nation
Human
是
GeopoliticalArea
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
例
GeopoliticalArea
and
Nation
Position
是
政府
GeopoliticalArea
的
leader
職位
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
例
GeopoliticalArea
and
Nation
Position
是
GeopoliticalArea
的
leader
職位
Position
是
政府
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
空軍
聯合部隊空軍司令
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
軍隊
聯合部隊陸軍指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
海岸警衛隊
聯合部隊海上指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
NavyBranchOfService
聯合部隊海上指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
特種作戰部隊
聯合部隊特種作戰指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
子組織
Organization
and
Organization
等於
Organization
and
Organization
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
例
Organization
and
AutonomousAgent
Human
是
Organization
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
Organization
Position
是
Organization
的
leader
職位
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
%2 是 1% 的
government
類別
軍事指揮官
是
AutonomousAgent
的
leader
職位
(=>
(
instance
?JOINT
JointForces
)
(
leaderPosition
?JOINT
JointForcesCommander
))
MilitaryPersons.kif 352-354
例
AutonomousAgent
and
聯合部隊
聯合部隊指揮官
是
AutonomousAgent
的
leader
職位
appearance as argument number 0
(
leaderPosition
Canada
PrimeMinister
)
Government.kif 1444-1444
總理
是
加拿大
的
leader
職位
(
leaderPosition
Iran
President
)
Government.kif 1445-1445
主席
是
伊朗
的
leader
職位
(
leaderPosition
JointChiefsOfStaff
ChairmanJCS
)
MilitaryProcesses.kif 917-917
主席JCs
是
聯合參謀長
的
leader
職位
(
leaderPosition
JointStaff
ChairmanJCS
)
MilitaryProcesses.kif 899-899
主席JCs
是
聯合工作人員
的
leader
職位
(
leaderPosition
JointStaff
DirectorJS
)
MilitaryProcesses.kif 900-900
導演.JS
是
聯合工作人員
的
leader
職位
(
leaderPosition
UnitedKingdom
PrimeMinister
)
Government.kif 1443-1443
總理
是
英國
的
leader
職位
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