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
Le nombre 1 argument de
leader
est une
instance
de
AutonomousAgent
(
domain
leader
2
Human
)
Merge.kif 1613-1613
Le nombre 2 argument de
leader
est une
instance
de
humain
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
est une
instance
de
relation asym�trique
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
est une
instance
de
pr�dicat binaire
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
est une
instance
de
relation simple
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
directed
humain
and
motion picture
processus
est une
instance
de
FilmMaking
AutonomousAgent
est une
instance
de
organisation
leader
AutonomousAgent
and
humain
processus
est un
agent
de
AutonomousAgent
motion picture
est le
resultat
de
processus
FilmDirector
est un
attribut
de
humain
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
leader
le
gouvernment
de
secteur g�opolitique
and
humain
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
leader
le
gouvernment
de
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
Secteur g�opolitique
est une
instance
de
nation
leader
secteur g�opolitique
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
Organisation
est une
instance
de
AutonomousAgent
leader
organisation
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
organisation
leaderPosition
organisation
and
position
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
leader
entit�
and
entit�
pendant
position temporel
Living
est un
attribut
de
entit�
pendant
position temporel
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
leader
le
gouvernment
de
secteur g�opolitique
and
humain
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
leader
le
gouvernment
de
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
Organisation
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
organisation
leader
le
gouvernment
de
organisation
and
humain
(=>
(
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
Organisation
est une
instance
de
GovernmentCabinet
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
a pour
but
entit�
entit�
entit�
est une
instance
de
d�clarer
entit�
est un
agent
de
organisation
entit�
est un
patient
de
entit�
leader
entit�
and le
gouvernment
de
secteur g�opolitique
(=>
(
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
Humain
est une
instance
de
humain
position
est une
instance
de
position
secteur g�opolitique
est une
instance
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Humain
est une
instance
de
humain
position
est une
instance
de
position
organisation
est une
instance
de
AutonomousAgent
leaderPosition
organisation
and
position
humain
occupe la
position
de
position
organisation
leader
organisation
and
humain
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
PresidentOfTheUnitedStates
est un
attribut
de
AutonomousAgent
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
directed
humain
and
motion picture
processus
AutonomousAgent
processus
est une
instance
de
FilmMaking
AutonomousAgent
est une
instance
de
organisation
leader
AutonomousAgent
and
humain
processus
est un
agent
de
AutonomousAgent
motion picture
est le
resultat
de
processus
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
Entit�
occupe la
position
de
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
pendant
position temporel
leader
UnitedStatesDepartmentOfInterior
and
entit�
pendant
position temporel
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Humain
occupe la
position
de
Pope
RomanCatholicChurch
leader
RomanCatholicChurch
and
humain
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20891-20895
Humain
occupe la
position
de
Cleric
organisation
leader
organisation
and
humain
organisation
est une
instance
de
organisation religieuse
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
Humain
occupe la
position
de
Leader
organisation
leader
organisation
and
humain
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