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
leader
Sigma KEE - leader
leader
appearance as argument number 1
(
documentation
leader
EnglishLanguage
"(
leader
?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.")
Merge.kif 1615-1616
(
documentation
leader
JapaneseLanguage
"(
leader
?INSTITUTION ?PERSON) とは、 ?INSTITUTION のリーダーが ?PERSON という意味である。")
japanese_format.kif 294-295
(
domain
leader
1
AutonomousAgent
)
Merge.kif 1612-1612
The number 1 argument of
leader
is an
instance
of
agent
(
domain
leader
2
Human
)
Merge.kif 1613-1613
The number 2 argument of
leader
is an
instance
of
human
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
is an
instance
of
asymmetric relation
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
is an
instance
of
binary predicate
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
is an
instance
of
single valued relation
appearance as argument number 2
(
format
ChineseLanguage
leader
"%2 %n 是 %1 的
leader
")
domainEnglishFormat.kif 1451-1451
(
format
ChineseTraditionalLanguage
leader
"%2 %n 是 %1 的
leader
")
domainEnglishFormat.kif 1450-1450
(
format
EnglishLanguage
leader
"%2 is %n a
leader
of %1")
domainEnglishFormat.kif 1449-1449
(
termFormat
EnglishLanguage
leader
"leader")
domainEnglishFormat.kif 65863-65863
antecedent
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
If
a human
directed
a motion picture
and
a process
is an
instance
of
film making
and
an agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
,
then
film director
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
is a
leader
of the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
is a
leader
of
the geopolitical area
,
then
the human
is a
leader
of the
government
of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
If
a geopolitical area
is an
instance
of
nation
and
a human
is a
leader
of
the geopolitical area
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
If
an organization
is an
instance
of
agent
and
a human
is a
leader
of
the organization
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in
the organization
,
then
the position
is a
leader
position of
the organization
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
If
an entity
is a
leader
of
another entity
holds
during
a time position
,
then
living
is an
attribute
of
the entity
holds
during
the time position
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
is a
leader
of the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
is a
leader
of
the geopolitical area
,
then
the human
is a
leader
of the
government
of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
If
an organization
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in
the organization
,
then
the human
is a
leader
of the
government
of
the organization
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
If
an organization
is an
instance
of
government cabinet
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
stating
and
the organization
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and the
government
of
the geopolitical area
is a
leader
of
the other entity
(=>
(
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
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
a geopolitical area
is an
instance
of
geopolitical area
and
the position
is a
leader
position of
the geopolitical area
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
an organization
is an
instance
of
agent
and
the position
is a
leader
position of
the organization
and
the human
holds the
position
of
the position
in
the organization
,
then
the human
is a
leader
of
the organization
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
If
president of the united states
is an
attribute
of
an agent
,
then
united states
is a
leader
of
the agent
(=>
(
directed
?DIRECTOR ?MOVIE)
(
exists
(?FILMMAKING ?FILMCREW)
(
and
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))))
Mid-level-ontology.kif 20724-20732
If
a human
directed
a motion picture
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
film making
and
the agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
If
an entity
holds the
position
of
secretary of the interior
in
united states department of interior
holds
during
a time position
,
then
the entity
is a
leader
of
united states department of interior
holds
during
the time position
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
If
a human
holds the
position
of
pope
in
roman catholic church
,
then
the human
is a
leader
of
roman catholic church
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20891-20895
If
a human
holds the
position
of
cleric
in
an organization
,
then
the human
is a
leader
of
the organization
and
the organization
is an
instance
of
religious organization
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
If
a human
holds the
position
of
leader
in
an organization
,
then
the human
is a
leader
of
the organization
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