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
songArtist
Sigma KEE - songArtist
songArtist
appearance as argument number 1
(
documentation
songArtist
EnglishLanguage
"(
songArtist
?MR ?A) means that
CognitiveAgent
?A was the agent in recording
MusicRecording
?MR")
Music.kif 209-210
(
domain
songArtist
1
MusicRecording
)
Music.kif 213-213
The number 1 argument of
song artist
is an
instance
of
music recording
(
domain
songArtist
2
CognitiveAgent
)
Music.kif 214-214
The number 2 argument of
song artist
is an
instance
of
cognitive agent
(
instance
songArtist
BinaryPredicate
)
Music.kif 208-208
song artist
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
songArtist
"%2 是 performer 在 %1 ")
domainEnglishFormat.kif 4574-4574
(
format
ChineseTraditionalLanguage
songArtist
"%2 是 performer 在 %1 ")
domainEnglishFormat.kif 4573-4573
(
format
EnglishLanguage
songArtist
"%2 is the performer in %1")
domainEnglishFormat.kif 4572-4572
(
termFormat
EnglishLanguage
songArtist
"song artist")
Music.kif 211-211
antecedent
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
If
cover recording
is an
attribute
of
a music recording
and
the music recording
is an
instance
of
music recording
and
a cognitive agent
is the
performer
in
the music recording
and
the music recording
is a
recording
of
a music
and
the music recording
is a
record
of
the music
M,
then there exist
another music recording
,
the cognitive agent
RTIST and
the music
USIC such that
the other music recording
is a
recording
of
the music
and
the cognitive agent
RTIST is the
performer
in
the other music recording
and
the cognitive agent
is not
equal
to
the cognitive agent
RTIST and
the other music recording
is a
record
of
the music
USIC and the
time
of existence of
the music
USIC happens
before
the
time
of existence of
the music
M
(=>
(
songArtist
?MR ?A)
(
exists
(?M)
(
and
(
record
?MR ?M)
(
agent
?M ?A))))
Music.kif 216-221
If
a cognitive agent
is the
performer
in
a music recording
,
then there exists
a process
such that
the music recording
is a
record
of
the process
and
the cognitive agent
is an
agent
of
the process
consequent
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
If
cover recording
is an
attribute
of
a music recording
and
the music recording
is an
instance
of
music recording
and
a cognitive agent
is the
performer
in
the music recording
and
the music recording
is a
recording
of
a music
and
the music recording
is a
record
of
the music
M,
then there exist
another music recording
,
the cognitive agent
RTIST and
the music
USIC such that
the other music recording
is a
recording
of
the music
and
the cognitive agent
RTIST is the
performer
in
the other music recording
and
the cognitive agent
is not
equal
to
the cognitive agent
RTIST and
the other music recording
is a
record
of
the music
USIC and the
time
of existence of
the music
USIC happens
before
the
time
of existence of
the music
M
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