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
O argumento numero 1 de
leader
e' uma
instancia
de
AutonomousAgent
(
domain
leader
2
Human
)
Merge.kif 1613-1613
O argumento numero 2 de
leader
e' uma
instancia
de
Humano
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
e' uma
instancia
de
Relacao Assimetrica
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
e' uma
instancia
de
Predicado Binario
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
e' uma
instancia
de
Relacao com Valor Unico
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
Humano
and
Filme
Processo
e' uma
instancia
de
FilmMaking
AutonomousAgent
e' uma
instancia
de
Organizacao
leader
AutonomousAgent
and
Humano
Processo
e' um
agente
de
AutonomousAgent
Filme
e' o
resultado
de
Processo
FilmDirector
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leader
o
governo
de
Area Geopolitica
and
Humano
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
leader
o
governo
de
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
Area Geopolitica
e' uma
instancia
de
Nacao
leader
Area Geopolitica
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
Organizacao
e' uma
instancia
de
AutonomousAgent
leader
Organizacao
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leaderPosition
Organizacao
and
Posicao
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
leader
Entidade
and
Entidade
vale
durante
Posicao Temporal
Living
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leader
o
governo
de
Area Geopolitica
and
Humano
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
leader
o
governo
de
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
Organizacao
e' uma
instancia
de
Area Geopolitica
Humano
ocupa a
posicao
de
Leader
Organizacao
leader
o
governo
de
Organizacao
and
Humano
(=>
(
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
Organizacao
e' uma
instancia
de
GovernmentCabinet
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Declarar
Entidade
e' um
agente
de
Organizacao
Entidade
e' um
patient
de
Entidade
leader
Entidade
and o
governo
de
Area Geopolitica
(=>
(
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
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Organizacao
e' uma
instancia
de
AutonomousAgent
leaderPosition
Organizacao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leader
Organizacao
and
Humano
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
PresidentOfTheUnitedStates
e' um
atributo
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
Humano
and
Filme
Processo
AutonomousAgent
Processo
e' uma
instancia
de
FilmMaking
AutonomousAgent
e' uma
instancia
de
Organizacao
leader
AutonomousAgent
and
Humano
Processo
e' um
agente
de
AutonomousAgent
Filme
e' o
resultado
de
Processo
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
Entidade
ocupa a
posicao
de
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
vale
durante
Posicao Temporal
leader
UnitedStatesDepartmentOfInterior
and
Entidade
vale
durante
Posicao Temporal
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Humano
ocupa a
posicao
de
Pope
RomanCatholicChurch
leader
RomanCatholicChurch
and
Humano
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20891-20895
Humano
ocupa a
posicao
de
Cleric
Organizacao
leader
Organizacao
and
Humano
Organizacao
e' uma
instancia
de
Organizacao Religiosa
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
Humano
ocupa a
posicao
de
Leader
Organizacao
leader
Organizacao
and
Humano
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