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
releaseForSale
Sigma KEE - releaseForSale
releaseForSale
appearance as argument number 1
(
documentation
releaseForSale
EnglishLanguage
"(
releaseForSale
?OBJ ?AREA ?TIME) means that
Object
?OBJ was released for sale in
GeographicArea
?AREA at
TimePoint
?TIME")
Music.kif 1494-1495
(
instance
releaseForSale
TernaryRelation
)
Music.kif 1493-1493
release for sale
is an
instance
of
ternary relation
(
subrelation
releaseForSale
releaseForConsumption
)
Music.kif 1492-1492
release for sale
is a
subrelation
of
release for consumption
appearance as argument number 2
(
format
ChineseLanguage
releaseForSale
"%1 是 released 对于 sale 在 %2 位于 %3 ")
domainEnglishFormat.kif 4374-4374
(
format
ChineseTraditionalLanguage
releaseForSale
"%1 是 released 對於 sale 在 %2 位於 %3 ")
domainEnglishFormat.kif 4373-4373
(
format
EnglishLanguage
releaseForSale
"%1 was released for sale in %2 at %3")
domainEnglishFormat.kif 4372-4372
(
termFormat
EnglishLanguage
releaseForSale
"release for sale")
Music.kif 1496-1496
antecedent
(=>
(
releaseForSale
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
(
exists
(?O ?B)
(
and
(
instance
?O ?OBJ)
(
instance
?B
Buying
)
(
eventLocated
?B ?AREA)
(
patient
?B ?O)))
Possibility
)))
Music.kif 1499-1509
If
a kind of object
was
released
for
sale
in
a geographic area
at
a time point
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
a kind of object
and
the other entity
is an
instance
of
buying
and
the other entity
is
located
at
the geographic area
and
the entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
holds
during
immediately
after
the time point
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