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
Sigma KEE - RewritableDataStorage
RewritableDataStorage
(rewritable data storage)
appearance as argument number 1
(
documentation
RewritableDataStorage
EnglishLanguage
"A
DigitalDataStorageDevice
on which the
stored
DigitalData
can be altered or deleted, e.g. CD_RW.")
Media.kif 740-740
(
subclass
RewritableDataStorage
DigitalDataStorageDevice
)
Media.kif 739-739
Rewritable data storage
is a
subclass
of
digital data storage device
appearance as argument number 2
(
subclass
CDRW
RewritableDataStorage
)
Media.kif 1183-1183
CDRW
is a
subclass
of
rewritable data storage
(
termFormat
EnglishLanguage
RewritableDataStorage
"rewritable data storage")
domainEnglishFormat.kif 65435-65435
CDRW
is a
subclass
of
rewritable data storage
antecedent
(=>
(
instance
?X
RewritableDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
)))
Media.kif 741-763
If
an entity
is an
instance
of
rewritable data storage
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
writing
and
the entity
is a
patient
of
the other entity
and
the third entity
is a
patient
of
the other entity
and
the third entity
is
stored
on
the entity
holds
during
immediately
after
the
time
of existence of
the other entity
has the
modal
force
of
possibility
and the statement there exist
a fourth entity
and
a fifth entity
such that
the fifth entity
is
stored
on
the entity
and
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and
the other entity
is not
equal
to
the fourth entity
and
the fifth entity
is a
patient
of
the fourth entity
has the
modal
force
of
possibility
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
