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 数量 是
施事体
的
instance
(
domain
leader
2
Human
)
Merge.kif 1613-1613
leader
的 2 数量 是
人类
的
instance
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
是
非对称关系
的
instance
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
是
二元谓语
的
instance
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
是
单值关系
的
instance
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
动态映像
和
过程
是
电影制作
的
instance
和
施事体
是
机构
的
instance
和
那个 人类
是
那个 施事体
的
leader
和
那个 施事体
是
那个 过程
的
agent
和
那个 动态映像
是
那个 过程
的
result
,
然后
电影导演
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
是
那个 地缘政治区域
的
Government
的
leader
,
然后
那个 人类
是
那个 地缘政治区域
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
是
那个 地缘政治区域
的
leader
,
然后
那个 人类
是
那个 地缘政治区域
的
Government
的
leader
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
如果
地缘政治区域
是
国家
的
instance
和
人类
是
那个 地缘政治区域
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
如果
机构
是
施事体
的
instance
和
人类
是
那个 机构
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 地位
是
那个 机构
的
leader
职位
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
如果
实体
是
另一个 实体
的
leader
在
时间位置
holdsDuring
,
然后
活的
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
是
那个 地缘政治区域
的
Government
的
leader
,
然后
那个 人类
是
那个 地缘政治区域
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
是
那个 地缘政治区域
的
leader
,
然后
那个 人类
是
那个 地缘政治区域
的
Government
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
如果
机构
是
地缘政治区域
的
instance
和
人类
在
那个 机构
任职
领导
,
然后
那个 人类
是
那个 机构
的
Government
的
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 1513-1524
如果
机构
是
政府内阁
的
instance
和
那个 机构
是
地缘政治区域
的
Government
Organization
的一部分 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
陈述
的
instance
和
那个 机构
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 地缘政治区域
的
Government
是
那个 另外 实体
的
leader
(=>
(
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
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地位
是
那个 地缘政治区域
的
leader
职位 和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 人类
是
那个 地缘政治区域
的
leader
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
机构
是
施事体
的
instance
和
那个 地位
是
那个 机构
的
leader
职位 和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 人类
是
那个 机构
的
leader
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
如果
美国总统
是
施事体
的
attribute
,
然后
美国
是
那个 施事体
的
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 20724-20732
如果
人类
directed
动态映像
,
然后 有存在
过程
和
施事体
这样
那个 过程
是
电影制作
的
instance
和
那个 施事体
是
机构
的
instance
和
那个 人类
是
那个 施事体
的
leader
和
那个 施事体
是
那个 过程
的
agent
和
那个 动态映像
是
那个 过程
的
result
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
如果
实体
在
美国内政部
任职
内政部长
在
时间位置
holdsDuring
,
然后
那个 实体
是
美国内政部
的
leader
在
那个 时间位置
holdsDuring
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
如果
人类
在
罗马天主教会
任职
教皇
,
然后
那个 人类
是
罗马天主教会
的
leader
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20891-20895
如果
人类
在
机构
任职
牧师
,
然后
那个 人类
是
那个 机构
的
leader
和
那个 机构
是
宗教机构
的
instance
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
如果
人类
在
机构
任职
领导
,
然后
那个 人类
是
那个 机构
的
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