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
musician
Sigma KEE - musician
musician
appearance as argument number 1
(
documentation
musician
EnglishLanguage
"(
musician
?MR ?P ?I) means that
Human
?P played some
Process
?I as a
Musician
in
MusicRecording
?MR")
Music.kif 189-190
(
domain
musician
1
MusicRecording
)
Music.kif 193-193
域
musician
, 1 and
音樂錄音
(
domain
musician
2
Human
)
Music.kif 194-194
域
musician
, 2 and
Human
(
domainSubclass
musician
3
MakingMusic
)
Music.kif 195-195
域子類
musician
, 3 and
MakingMusic
(
instance
musician
TernaryPredicate
)
Music.kif 188-188
例
musician
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
musician
"%2 表演了 %1 ")
domainEnglishFormat.kif 3934-3934
(
format
ChineseTraditionalLanguage
musician
"%2 表演了 %1 ")
domainEnglishFormat.kif 3933-3933
(
format
EnglishLanguage
musician
"%2 performed %1")
domainEnglishFormat.kif 3932-3932
(
termFormat
EnglishLanguage
musician
"musician")
Music.kif 191-191
antecedent
(=>
(
musician
?MR ?P ?R)
(
exists
(?MM ?I)
(
and
(
instance
?MM ?R)
(
or
(
equal
?R
(
PlayingInstrumentFn
?I))
(
equal
?R
MakingVocalMusic
))
(
agent
?MM ?P)
(
result
?MM ?MR))))
Music.kif 197-206
Human
表演了
音樂錄音
Process
Device
例
Process
and
MakingMusic
等於
MakingMusic
and
playing
Device
等於
MakingMusic
and
聲樂
agent
Process
and
Human
結果
Process
and
音樂錄音
consequent
(=>
(
discography
?A ?D)
(
forall
(?X)
(=>
(
member
?X ?D)
(
exists
(?I)
(
musician
?X ?A ?I)))))
Music.kif 243-249
Human
有
discography
Discography
音樂錄音
會員
音樂錄音
and
Discography
MakingMusic
Human
表演了
音樂錄音
(=>
(
instance
?D
Discography
)
(
exists
(?M ?AC)
(
and
(
instance
?M
CognitiveAgent
)
(
attribute
?M ?AC)
(
instance
?AC
Musician
)
(
forall
(?X)
(=>
(
member
?X ?D)
(
exists
(?I ?T ?R ?DS)
(
and
(
musician
?X ?M ?I)
(
releaseForSale
(
AlbumCopiesFn
?X ?DS) ?R ?T))))))))
Music.kif 67-80
例
Collection
and
Discography
Human
Attribute
例
Human
and
CognitiveAgent
attribute
Human
and
Attribute
例
Attribute
and
音樂家
Album
會員
Album
and
Collection
MakingMusic
TimePoint
,
GeographicArea
and
Collection
S
Human
表演了
Album
Album
在
Collection
S 的
set
複製 是
released
對於
sale
在
GeographicArea
位於
TimePoint
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