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 1402-1404
(
domain
leaderPosition
1
AutonomousAgent
)
Government.kif 1399-1399
Die Zahl 1 Argument von
leaderPosition
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
leaderPosition
2
Position
)
Government.kif 1400-1400
Die Zahl 2 Argument von
leaderPosition
ist ein
fall
von
Position
%n{nicht}
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1398-1398
leaderPosition
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1397-1397
leaderPosition
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
PeaceState
ist ein
attribut
von
Organization
%n{nicht} und
** Organization
ist ein
fall
von
MilitaryOrganization
%n{nicht} und
leaderPosition
** Organization
and
Position
,
dann
subordinatePosition
** Organization
,
** Position
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
Wenn
WarState
ist ein
attribut
von
Organization
%n{nicht} und
** Organization
ist ein
fall
von
MilitaryOrganization
%n{nicht} und
leaderPosition
** Organization
and
Position
,
dann
subordinatePosition
** Organization
,
** Position
and
President
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leaderPosition
GovernmentFn
** GeopoliticalArea
and
Position
,
dann
leaderPosition
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
Position
,
dann
leaderPosition
GovernmentFn
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
leaderPosition
** ** Organization
and
Position
und
leaderPosition
** Organization
and
** Organization
COMMANDER,
dann
subordinatePosition
** Organization
,
** Position
and
** Organization
COMMANDER
(=>
(
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
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist gleich
** ** Organization
nicht und
leaderPosition
** Organization
and
** Organization
COMMANDER,
dann
leaderPosition
** ** Organization
and
** Organization
COMMANDER und
leaderPosition
** ** Organization
and
** Organization
COMMANDER
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1451-1458
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
** Position
und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1442-1449
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
Organization
ist ein
fall
von
AutonomousAgent
%n{nicht} und
leaderPosition
** Organization
and
** Position
und
** Human
besetzt die
position
von
** Position
in
** Organization
,
dann
leader
** Organization
and
** Human
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
Wenn
governmentType
AutonomousAgent
and
AbsoluteMonarchy
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
leaderPosition
** AutonomousAgent
and
Monarch
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leader
** GeopoliticalArea
and
Human
und
Position
ist ein
fall
von
Position
%n{nicht} und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leaderPosition
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leaderPosition
GovernmentFn
** GeopoliticalArea
and
Position
,
dann
leaderPosition
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
Position
,
dann
leaderPosition
GovernmentFn
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
AirForce
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Army
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
CoastGuard
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
NavyBranchOfService
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
SpecialOperationsForces
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesSpecialOperationsCommander
(=>
(
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
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist gleich
** ** Organization
nicht und
leaderPosition
** Organization
and
** Organization
COMMANDER,
dann
leaderPosition
** ** Organization
and
** Organization
COMMANDER und
leaderPosition
** ** Organization
and
** Organization
COMMANDER
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1411-1417
Wenn
Organization
ist ein
fall
von
AutonomousAgent
%n{nicht} und
leader
** Organization
and
Human
und
Position
ist ein
fall
von
Position
%n{nicht} und
** Human
besetzt die
position
von
** Position
in
** Organization
,
dann
leaderPosition
** Organization
and
** Position
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
Wenn
governmentType
AutonomousAgent
and
MilitaryDictatorship
,
dann
leaderPosition
** AutonomousAgent
and
MilitaryCommander
(=>
(
instance
?JOINT
JointForces
)
(
leaderPosition
?JOINT
JointForcesCommander
))
MilitaryPersons.kif 352-354
Wenn
AutonomousAgent
ist ein
fall
von
JointForces
%n{nicht},
dann
leaderPosition
** AutonomousAgent
and
JointForcesCommander
appearance as argument number 0
(
leaderPosition
Canada
PrimeMinister
)
Government.kif 1408-1408
leaderPosition
Canada
and
PrimeMinister
(
leaderPosition
Iran
President
)
Government.kif 1409-1409
leaderPosition
Iran
and
President
(
leaderPosition
JointChiefsOfStaff
ChairmanJCS
)
MilitaryProcesses.kif 917-917
leaderPosition
JointChiefsOfStaff
and
ChairmanJCS
(
leaderPosition
JointStaff
ChairmanJCS
)
MilitaryProcesses.kif 899-899
leaderPosition
JointStaff
and
ChairmanJCS
(
leaderPosition
JointStaff
DirectorJS
)
MilitaryProcesses.kif 900-900
leaderPosition
JointStaff
and
DirectorJS
(
leaderPosition
UnitedKingdom
PrimeMinister
)
Government.kif 1407-1407
leaderPosition
UnitedKingdom
and
PrimeMinister
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