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
(
domain
leader
2
Human
)
Merge.kif 1613-1613
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
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 20733-20742
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14082-14086
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14088-14092
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14082-14086
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14088-14092
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
(=>
(
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
(=>
(
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
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
(=>
(
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 20723-20731
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20890-20894
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
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