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
域
leader
, 1 and
AutonomousAgent
(
domain
leader
2
Human
)
Merge.kif 1613-1613
域
leader
, 2 and
Human
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
例
leader
and
AsymmetricRelation
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
例
leader
and
BinaryPredicate
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
例
leader
and
SingleValuedRelation
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
Human
directed
MotionPicture
例
Process
and
電影製作
例
AutonomousAgent
and
Organization
Human
是
AutonomousAgent
的
leader
agent
Process
and
AutonomousAgent
結果
Process
and
MotionPicture
持有期間
何時
Process
and
attribute
Human
and
電影導演
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
政府
GeopoliticalArea
的
leader
Human
是
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
Human
是
政府
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
例
GeopoliticalArea
and
Nation
Human
是
GeopoliticalArea
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1411-1417
例
Organization
and
AutonomousAgent
Human
是
Organization
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
Organization
Position
是
Organization
的
leader
職位
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
持有期間
TimePosition
and
entity
是
entity
的
leader
持有期間
TimePosition
and
attribute
entity
and
活的
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
政府
GeopoliticalArea
的
leader
Human
是
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
Human
是
政府
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
例
Organization
and
GeopoliticalArea
佔據位置
Human
,
領導
and
Organization
Human
是
政府
Organization
的
leader
(=>
(
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
例
Organization
and
政府內閣
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
有目的
Organization
and
entity
entity
例
entity
and
Stating
agent
entity
and
Organization
患者
entity
and
entity
政府
GeopoliticalArea
是
entity
的
leader
(=>
(
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
例
Human
and
Human
例
Position
and
Position
例
GeopoliticalArea
and
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1442-1449
例
Human
and
Human
例
Position
and
Position
例
Organization
and
AutonomousAgent
Position
是
Organization
的
leader
職位
佔據位置
Human
,
Position
and
Organization
Human
是
Organization
的
leader
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1467-1469
attribute
AutonomousAgent
and
美國總統
美國
是
AutonomousAgent
的
leader
(=>
(
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
Human
directed
MotionPicture
Process
AutonomousAgent
例
Process
and
電影製作
例
AutonomousAgent
and
Organization
Human
是
AutonomousAgent
的
leader
agent
Process
and
AutonomousAgent
結果
Process
and
MotionPicture
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4823-4827
持有期間
TimePosition
and
佔據位置
entity
,
內政部長
and
美國內政部
持有期間
TimePosition
and
entity
是
美國內政部
的
leader
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
佔據位置
Human
,
教皇
and
羅馬天主教會
Human
是
羅馬天主教會
的
leader
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20918-20922
佔據位置
Human
,
牧師
and
Organization
Human
是
Organization
的
leader
例
Organization
and
ReligiousOrganization
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1306-1308
佔據位置
Human
,
領導
and
Organization
Human
是
Organization
的
leader
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