Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
AlbumCopiesFn
Sigma KEE - AlbumCopiesFn
AlbumCopiesFn
appearance as argument number 1
(
documentation
AlbumCopiesFn
EnglishLanguage
"The function (
AlbumCopiesFn
?A ?DS) returns a subclass of all
DataStorageDevice
?DS that contains all
Recording
in
Album
?A.")
Music.kif 922-924
(
domain
AlbumCopiesFn
1
Album
)
Music.kif 927-927
The number 1 argument of
album copies function
is an
instance
of
album
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 928-928
The number 2 argument of
album copies function
is a
subclass
of
DataStorageDevice
(
instance
AlbumCopiesFn
BinaryFunction
)
Music.kif 921-921
Album copies function
is an
instance
of
binary function
(
rangeSubclass
AlbumCopiesFn
DataStorageDevice
)
Music.kif 929-929
The values returned by
album copies function
are
subclasses
of
DataStorageDevice
appearance as argument number 2
(
format
ChineseLanguage
AlbumCopiesFn
"%1 在 %2 的 set 复制")
domainEnglishFormat.kif 2751-2751
(
format
ChineseTraditionalLanguage
AlbumCopiesFn
"%1 在 %2 的 set 複製")
domainEnglishFormat.kif 2750-2750
(
format
EnglishLanguage
AlbumCopiesFn
"the set of copies on %2 of %1")
domainEnglishFormat.kif 2749-2749
(
termFormat
EnglishLanguage
AlbumCopiesFn
"album copies function")
Music.kif 925-925
antecedent
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 314-320
If
an Image
is the
image
on
an album
and
an object
is an
instance
of the
set
of copies on
a kind of DataStorageDevice
of
the album
and
a self connected object
contain
s
the object
,
then the statement
the Image
is a
part
of the
front
of
the self connected object
has the
modal
force
of
likely
(=>
(
and
(
equal
?D
(
AlbumCopiesFn
?A ?DS))
(
instance
?X ?D))
(
forall
(?S)
(=>
(
inList
?S ?A)
(
exists
(?C)
(
and
(
copy
?C ?S)
(
stored
?C ?D))))))
Music.kif 931-941
If
a kind of DataStorageDevice
is
equal
to the
set
of copies on
a kind of DataStorageDevice
S of
an album
and
an entity
is an
instance
of
the kind of DataStorageDevice
,
then for all
an object
if
the object
is a
member
of
the album
,
then there exists
a content bearing object
such that
the content bearing object
is a
copy
of
the object
and
the content bearing object
is
stored
on
the kind of DataStorageDevice
consequent
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 259-268
If
an album
was
released
on
a time point
,
then there exist
a geographic area
and
a kind of DataStorageDevice
such that the
set
of copies on
a kind of DataStorageDevice
of
the album
was
released
for
sale
in
the geographic area
at
the time point
and there don't exist
another time point
,
another geographic area
and
another kind of DataStorageDevice
such that
the other time point
happens
before
the time point
and the
set
of copies on
another kind of DataStorageDevice
of
the album
was
released
for
sale
in
the other geographic area
at
the other time point
(=>
(
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
,
an entity
,, ,
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 entity
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
AlbumCopiesFn