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
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 925-927
(
domain
AlbumCopiesFn
1
Album
)
Music.kif 930-930
The number 1 argument of
album copies function
is an
instance
of
album
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 931-931
The number 2 argument of
album copies function
is a
subclass
of
data storage device
(
instance
AlbumCopiesFn
BinaryFunction
)
Music.kif 924-924
Album copies function
is an
instance
of
binary function
(
rangeSubclass
AlbumCopiesFn
DataStorageDevice
)
Music.kif 932-932
The values returned by
album copies function
are
subclasses
of
data storage device
appearance as argument number 2
(
format
ChineseLanguage
AlbumCopiesFn
"%1 在 %2 的 set 复制")
domainEnglishFormat.kif 2750-2750
(
format
ChineseTraditionalLanguage
AlbumCopiesFn
"%1 在 %2 的 set 複製")
domainEnglishFormat.kif 2749-2749
(
format
EnglishLanguage
AlbumCopiesFn
"the set of copies on %2 of %1")
domainEnglishFormat.kif 2748-2748
(
termFormat
EnglishLanguage
AlbumCopiesFn
"album copies function")
Music.kif 928-928
antecedent
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
If
an image
is the
image
on
an album
and
an object
is an
instance
of the
set
of copies on
a kind of data storage device
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 ?X))))))
Music.kif 936-946
If
a kind of data storage device
is
equal
to the
set
of copies on
a kind of data storage device
S of
an album
and
a third data storage device
is an
instance
of
the kind of data storage device
,
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 third data storage device
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 261-270
If
an album
was
released
on
a time point
,
then there exist
a geographic area
and
a kind of data storage device
such that the
set
of copies on
a kind of data storage device
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 data storage device
such that
the other time point
happens
before
the time point
and the
set
of copies on
another kind of data storage device
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
,
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