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
Il numero 1 argomenti di
leader
è un
istanza
di
AutonomousAgent
(
domain
leader
2
Human
)
Merge.kif 1613-1613
Il numero 2 argomenti di
leader
è un
istanza
di
Umano
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
è un'
istanza
di
RelazioneAsimmetrica
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
è un'
istanza
di
PredicatoBinario
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
è un'
istanza
di
RelazioneMonovalente
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 65865-65865
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 20761-20770
directed
Umano
and
ImmagineDinamica
Processo
è un'
istanza
di
FilmMaking
AutonomousAgent
è un'
istanza
di
Organizzazione
leader
AutonomousAgent
and
Umano
Processo
è un
agente
di
AutonomousAgent
ImmagineDinamica
è un
risultato
di
Processo
attribute
Umano
and
FilmDirector
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leader
GovernmentFn
AreaGeopolitica
and
Umano
leader
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
leader
GovernmentFn
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
AreaGeopolitica
è un'
istanza
di
Nazione
leader
AreaGeopolitica
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1411-1417
Organizzazione
è un'
istanza
di
AutonomousAgent
leader
Organizzazione
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leaderPosition
Organizzazione
and
Posizione
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
leader
Entit�
and
Entit�
vales
durante
PosizioneTemporale
attribute
Entit�
and
Living
vales
durante
PosizioneTemporale
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leader
GovernmentFn
AreaGeopolitica
and
Umano
leader
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
leader
GovernmentFn
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
Organizzazione
è un'
istanza
di
AreaGeopolitica
Umano
occupa la
posizione
di
Leader
in
Organizzazione
leader
GovernmentFn
Organizzazione
and
Umano
(=>
(
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 1477-1488
Organizzazione
è un'
istanza
di
GovernmentCabinet
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Organizzazione
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Affermare
Entit�
è un
agente
di
Organizzazione
Entit�
è un
paziente
di
Entit�
leader
Entit�
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1451-1458
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1442-1449
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
Organizzazione
è un'
istanza
di
AutonomousAgent
leaderPosition
Organizzazione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leader
Organizzazione
and
Umano
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1467-1469
attribute
AutonomousAgent
and
PresidentOfTheUnitedStates
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 20751-20759
directed
Umano
and
ImmagineDinamica
Processo
AutonomousAgent
Processo
è un'
istanza
di
FilmMaking
AutonomousAgent
è un'
istanza
di
Organizzazione
leader
AutonomousAgent
and
Umano
Processo
è un
agente
di
AutonomousAgent
ImmagineDinamica
è un
risultato
di
Processo
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4823-4827
Entit�
occupa la
posizione
di
SecretaryOfTheInterior
in
UnitedStatesDepartmentOfInterior
vales
durante
PosizioneTemporale
leader
UnitedStatesDepartmentOfInterior
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Umano
occupa la
posizione
di
Pope
in
RomanCatholicChurch
leader
RomanCatholicChurch
and
Umano
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20918-20922
Umano
occupa la
posizione
di
Cleric
in
Organizzazione
leader
Organizzazione
and
Umano
Organizzazione
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1306-1308
Umano
occupa la
posizione
di
Leader
in
Organizzazione
leader
Organizzazione
and
Umano
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