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
processAborted
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 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
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 14082-14086
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 14088-14092
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 1456-1462
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 1447-1453
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 14082-14086
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 14088-14092
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 1346-1350
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 1513-1524
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 1487-1494
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 1478-1485
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 1503-1505
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 20723-20731
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 4859-4863
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 20890-20894
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 1342-1344
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