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 数量 是
施事体
的
instance
(
domain
leaderPosition
2
Position
)
Government.kif 1436-1436
领导职位
的 2 数量 是
地位
的
instance
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1434-1434
领导职位
是
非对称关系
的
instance
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1433-1433
领导职位
是
二元谓语
的
instance
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
和
那个 机构
是
军事组织
的
instance
和
地位
是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
如果
战争状态
是
机构
的
attribute
和
那个 机构
是
军事组织
的
instance
和
地位
是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
如果
地缘政治区域
是
国家
的
instance
和
地位
是
那个 地缘政治区域
的
Government
的
leader
职位,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
如果
地缘政治区域
是
国家
的
instance
和
地位
是
那个 地缘政治区域
的
leader
职位,
然后
那个 地位
是
那个 地缘政治区域
的
Government
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
地位
是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %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
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
第三 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
不
equal
那个 第三 机构
和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
COMMANDER 是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 第三 机构
的
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
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地位
是
那个 地缘政治区域
的
leader
职位 和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 人类
是
那个 地缘政治区域
的
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
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
机构
是
施事体
的
instance
和
那个 地位
是
那个 机构
的
leader
职位 和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 人类
是
那个 机构
的
leader
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
如果 %2 是 1% 的
government
类别 和
施事体
是
地缘政治区域
的
instance
,
然后
君主
是
那个 施事体
的
leader
职位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
如果
地缘政治区域
是
国家
的
instance
和
人类
是
那个 地缘政治区域
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
如果
地缘政治区域
是
国家
的
instance
和
地位
是
那个 地缘政治区域
的
Government
的
leader
职位,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
如果
地缘政治区域
是
国家
的
instance
和
地位
是
那个 地缘政治区域
的
leader
职位,
然后
那个 地位
是
那个 地缘政治区域
的
Government
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
空军
的
instance
,
然后
联合部队空军司令
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
军队
的
instance
,
然后
联合部队陆军指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
海岸警卫队
的
instance
,
然后
联合部队海上指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
NavyBranchOfService
的
instance
,
然后
联合部队海上指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
特种作战部队
的
instance
,
然后
联合部队特种作战指挥官
是
那个 另外 机构
的
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
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
第三 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
不
equal
那个 第三 机构
和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
COMMANDER 是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 第三 机构
的
leader
职位
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
如果
机构
是
施事体
的
instance
和
人类
是
那个 机构
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 地位
是
那个 机构
的
leader
职位
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
如果 %2 是 1% 的
government
类别,
然后
军事指挥官
是
施事体
的
leader
职位
(=>
(
instance
?JOINT
JointForces
)
(
leaderPosition
?JOINT
JointForcesCommander
))
MilitaryPersons.kif 352-354
如果
施事体
是
联合部队
的
instance
,
然后
联合部队指挥官
是
那个 施事体
的
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