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
The number 1 argument of
musician
is an
instance
of
music recording
(
domain
musician
2
Human
)
Music.kif 194-194
The number 2 argument of
musician
is an
instance
of
human
(
domainSubclass
musician
3
MakingMusic
)
Music.kif 195-195
The number 3 argument of
musician
is a
subclass
of
making music
(
instance
musician
TernaryPredicate
)
Music.kif 188-188
musician
is an
instance
of
ternary predicate
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
If
a human
performed
a music recording
,
then there exist
a process
and
a kind of device
such that
the process
is an
instance
of
a kind of making music
and
a kind of making music
is
equal
to
playing
a kind of device
or
the kind of making music
is
equal
to
singing
and
the human
is an
agent
of
the process
and
the music recording
is a
result
of
the process
consequent
(=>
(
discography
?A ?D)
(
forall
(?X)
(=>
(
member
?X ?D)
(
exists
(?I)
(
musician
?X ?A ?I)))))
Music.kif 243-249
If
a human
has
discography
a discography
,
then for all
a music recording
if
the music recording
is a
member
of
the discography
,
then there exists
a kind of making music
such that
the human
performed
the music recording
(=>
(
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
If
a collection
is an
instance
of
discography
,
then there exist
a human
and
an attribute
such that
the human
is an
instance
of
cognitive agent
and
the attribute
is an
attribute
of
the human
and
the attribute
is an
instance
of
musician
and for all
an album
if
the album
is a
member
of
the collection
,
then there exist
a kind of making music
,
a time point
,, ,
a geographic area
and
the collection
S such that
the human
performed
the album
and the
set
of copies on
the collection
S of
the album
was
released
for
sale
in
the geographic area
at
the time point
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