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 引数は
AutonomousAgent
の
instance
では %n
(
domain
leader
2
Human
)
Merge.kif 1613-1613
leader
の数値 2 引数は
人[人間]
の
instance
では %n
(
instance
leader
AsymmetricRelation
)
Merge.kif 1610-1610
leader
は
非対称関係
の
instance
では %n
(
instance
leader
BinaryPredicate
)
Merge.kif 1609-1609
leader
は
2進述語
の
instance
では %n
(
instance
leader
SingleValuedRelation
)
Merge.kif 1611-1611
leader
は
一価関係
の
instance
では %n
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
人[人間]
and
映画
工程
は
FilmMaking
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
leader
AutonomousAgent
and
人[人間]
AutonomousAgent
は
工程
の
agent
では %n
映画
は
工程
の
result
では %n
FilmDirector
は
人[人間]
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
の
government
and
人[人間]
leader
地政学的地域
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
and
人[人間]
leader
地政学的地域
の
government
and
人[人間]
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
地政学的地域
は
国民
の
instance
では %n
leader
地政学的地域
and
人[人間]
ポジション
は
ポジション
の
instance
では %n
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leaderPosition
地政学的地域
and
ポジション
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
組織
は
AutonomousAgent
の
instance
では %n
leader
組織
and
人[人間]
ポジション
は
ポジション
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
leaderPosition
組織
and
ポジション
(=>
(
holdsDuring
?TIME
(
leader
?X ?Y))
(
holdsDuring
?TIME
(
attribute
?Y
Living
)))
Merge.kif 1618-1620
leader
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
Living
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
の
government
and
人[人間]
leader
地政学的地域
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
and
人[人間]
leader
地政学的地域
の
government
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
組織
は
地政学的地域
の
instance
では %n
人[人間]
は
組織
の
Leader
の
position
を holds %n{ない}
leader
組織
の
government
and
人[人間]
(=>
(
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
組織
は
GovernmentCabinet
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は
エンティティー
エンティティー
エンティティー
は
記載
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
leader
エンティティー
and
地政学的地域
の
government
の 目的 %n{ない}
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
leaderPosition
地政学的地域
and
ポジション
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leader
地政学的地域
and
人[人間]
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
組織
は
AutonomousAgent
の
instance
では %n
leaderPosition
組織
and
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
leader
組織
and
人[人間]
(=>
(
attribute
?H
PresidentOfTheUnitedStates
)
(
leader
?H
UnitedStates
))
Government.kif 1503-1505
PresidentOfTheUnitedStates
は
AutonomousAgent
の
attribute
では %n
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
人[人間]
and
映画
工程
AutonomousAgent
工程
は
FilmMaking
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
leader
AutonomousAgent
and
人[人間]
AutonomousAgent
は
工程
の
agent
では %n
映画
は
工程
の
result
では %n
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
エンティティー
は
UnitedStatesDepartmentOfInterior
の
SecretaryOfTheInterior
の
position
を holds %n{ない} は
時間位置
の
during
holds %n{ない}
leader
UnitedStatesDepartmentOfInterior
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
人[人間]
は
RomanCatholicChurch
の
Pope
の
position
を holds %n{ない}
leader
RomanCatholicChurch
and
人[人間]
(=>
(
occupiesPosition
?PERSON
Cleric
?ORG)
(
and
(
leader
?ORG ?PERSON)
(
instance
?ORG
ReligiousOrganization
)))
Mid-level-ontology.kif 20891-20895
人[人間]
は
組織
の
Cleric
の
position
を holds %n{ない}
leader
組織
and
人[人間]
組織
は
宗教団体
の
instance
では %n
(=>
(
occupiesPosition
?PERSON
Leader
?ORGANIZATION)
(
leader
?ORGANIZATION ?PERSON))
Government.kif 1342-1344
人[人間]
は
組織
の
Leader
の
position
を holds %n{ない}
leader
組織
and
人[人間]
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