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
Die Zahl 1 Argument von
leader
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
leader
2
Human
)
Merge.kif 1613-1613
Die Zahl 2 Argument von
leader
ist ein
fall
von
Human
%n{nicht}
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
ist ein
fall
von
SingleValuedRelation
%n{nicht}
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
Wenn
directed
Human
and
MotionPicture
und
Process
ist ein
fall
von
FilmMaking
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
leader
** AutonomousAgent
and
** Human
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** MotionPicture
ist ein
resultat
von
** Process
%n{nicht},
dann
FilmDirector
ist ein
attribut
von
** Human
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leader
GovernmentFn
** GeopoliticalArea
and
Human
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leader
** GeopoliticalArea
and
Human
,
dann
leader
GovernmentFn
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
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
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
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
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
Wenn
leader
entity
and
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann
Living
ist ein
attribut
von
** ** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leader
GovernmentFn
** GeopoliticalArea
and
Human
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leader
** GeopoliticalArea
and
Human
,
dann
leader
GovernmentFn
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
Wenn
Organization
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Human
besetzt die
position
von
Leader
in
** Organization
,
dann
leader
GovernmentFn
** Organization
and
** Human
(=>
(
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
Wenn
Organization
ist ein
fall
von
GovernmentCabinet
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** Organization
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Stating
%n{nicht} und
** entity
ist der
agent
von
** Organization
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
leader
** ** entity
and
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
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
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 1478-1485
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
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
Wenn
PresidentOfTheUnitedStates
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
leader
** AutonomousAgent
and
UnitedStates
(=>
(
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
Wenn
directed
Human
and
MotionPicture
,
dann es gibt
Process
und
AutonomousAgent
um
** Process
ist ein
fall
von
FilmMaking
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
leader
** AutonomousAgent
and
** Human
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** MotionPicture
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
Wenn
entity
besetzt die
position
von
SecretaryOfTheInterior
in
UnitedStatesDepartmentOfInterior
haelt
waehrend
TimePosition
%n{nicht},
dann
leader
UnitedStatesDepartmentOfInterior
and
** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Wenn
Human
besetzt die
position
von
Pope
in
RomanCatholicChurch
,
dann
leader
RomanCatholicChurch
and
** Human
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20891-20895
Wenn
Human
besetzt die
position
von
Cleric
in
Organization
,
dann
leader
** Organization
and
** Human
und
** Organization
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
Wenn
Human
besetzt die
position
von
Leader
in
Organization
,
dann
leader
** Organization
and
** Human
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