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
musicGenre
Sigma KEE - musicGenre
musicGenre
appearance as argument number 1
(
documentation
musicGenre
EnglishLanguage
"(
musicGenre
?MR ?ATTR) relates the
MusicGenre
?ATTR to the
MusicRecording
?MR")
Music.kif 343-344
(
instance
musicGenre
BinaryPredicate
)
Music.kif 342-342
music genre
is an
instance
of
binary predicate
(
subrelation
musicGenre
attribute
)
Music.kif 341-341
music genre
is a
subrelation
of
attribute
appearance as argument number 2
(
format
ChineseLanguage
musicGenre
"%2 是在 genre %1 ")
domainEnglishFormat.kif 3930-3930
(
format
ChineseTraditionalLanguage
musicGenre
"%2 是在 genre %1 ")
domainEnglishFormat.kif 3929-3929
(
format
EnglishLanguage
musicGenre
"%2 is in the genre %1")
domainEnglishFormat.kif 3928-3928
(
termFormat
EnglishLanguage
musicGenre
"music genre")
Music.kif 345-345
antecedent
(=>
(
and
(
musicGenre
?MR
Acapella
)
(
record
?MR ?MM))
(
not
(
exists
(?MI)
(
and
(
instance
?MI
MakingInstrumentalMusic
)
(
subProcess
?MI ?MM)))))
Music.kif 524-532
If
acapella
is in the
genre
a content bearing object
and
the content bearing object
is a
record
of
a process
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
instrumental music
and
the other process
is a
subprocess
of
the process
(=>
(
and
(
musicGenre
?MR
AcousticMusic
)
(
record
?MR ?MM))
(
not
(
exists
(?I ?ED)
(
and
(
instance
?I
MusicalInstrument
)
(
instrument
?MM ?I)
(
instance
?ED
ElectricDevice
)
(
part
?ED ?I)))))
Music.kif 559-569
If
acoustic
is in the
genre
a content bearing object
and
the content bearing object
is a
record
of
a process
,
then there don't exist
an object
and
another object
such that
the object
is an
instance
of
musical instrument
and
the object
is an
instrument
for
the process
and
the other object
is an
instance
of
electric device
and
the other object
is a
part
of
the object
(=>
(
musicGenre
?MR
ChristianMusic
)
(
exists
(?X)
(
and
(
attribute
?X
Christian
)
(
refers
?MR ?X))))
Music.kif 647-652
If
christian music
is in the
genre
an object
,
then there exists
another object
such that
christian
is an
attribute
of
the other object
and
the object
includes a
reference
to
the other object
(=>
(
musicGenre
?MR
ElectronicDanceMusic
)
(
hasPurpose
?MR
(
exists
(?NC ?MM)
(
and
(
instance
?NC
NightClub
)
(
instance
?MM
MakingMusic
)
(
patient
?MM ?MR)
(
eventLocated
?MM ?NC)))))
Music.kif 673-681
If
electronic dance music
is in the
genre
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
night club
and
the other entity
is an
instance
of
making music
and
the object
is a
patient
of
the other entity
and
the other entity
is
located
at
the entity
(=>
(
musicGenre
?MR
ElectronicMusic
)
(
exists
(?DV ?MM)
(
and
(
instance
?DV
ElectricDevice
)
(
record
?MR ?MM)
(
instrument
?MM ?DV))))
Music.kif 689-695
If
electronic music
is in the
genre
a content bearing object
,
then there exist
an object
and
a process
such that
the object
is an
instance
of
electric device
and
the content bearing object
is a
record
of
the process
and
the object
is an
instrument
for
the process
(=>
(
musicGenre
?MR
ReligiousMusic
)
(
exists
(?ATTR ?X)
(
and
(
instance
?ATTR
ReligiousAttribute
)
(
attribute
?X ?ATTR)
(
refers
?MR ?X))))
Music.kif 633-639
If
religious music
is in the
genre
an object
,
then there exist
an attribute
and
another object
such that
the attribute
is an
instance
of
religious attribute
and
the attribute
is an
attribute
of
the other object
and
the object
includes a
reference
to
the other object
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