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
stored
Sigma KEE - stored
stored
appearance as argument number 1
(
comment
stored
"Adding a stored method that is specific to storing
ContentBearingObject
such as
SymbolicString
,
Recording
, etc. in a
DataStorageDevice
. Will be changing some axioms to use this instead of other, vaguer ways of describing it." "KJN")
Mid-level-ontology.kif 14355-14357
(
documentation
stored
EnglishLanguage
"(
stored
?REC ?OBJ) means that some
ContentBearingObject
, encoded in some format, is saved in some
DataStorageDevice
and can be accessed in some future date.")
Mid-level-ontology.kif 14351-14353
(
domain
stored
1
ContentBearingObject
)
Mid-level-ontology.kif 14359-14359
The number 1 argument of
stored
is an
instance
of
content bearing object
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 14360-14360
The number 2 argument of
stored
is an
instance
of
data storage device
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 14348-14348
stored
is an
instance
of
antisymmetric relation
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 14347-14347
stored
is an
instance
of
binary predicate
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 14349-14349
stored
is an
instance
of
partial valued relation
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 14350-14350
stored
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
stored
"%1 是
stored
在 %2 ")
domainEnglishFormat.kif 4650-4650
(
format
ChineseTraditionalLanguage
stored
"%1 是
stored
在 %2 ")
domainEnglishFormat.kif 4649-4649
(
format
EnglishLanguage
stored
"%1 is
stored
on %2")
domainEnglishFormat.kif 4648-4648
(
termFormat
EnglishLanguage
stored
"stored")
Mid-level-ontology.kif 14354-14354
antecedent
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
If
a time interval
is
equal
to the
time
of existence of
an entity
is
stored
on
another entity
,
then the statement there exists
a third entity
such that
the entity
is a
patient
of
the third entity
has the
modal
force
of
possibility
holds
during
the time interval
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 14362-14368
If
a content bearing object
is
stored
on
a data storage device
,
then there exists
a process
such that
the process
is an
instance
of
writing
and
the process
end
s up at
the data storage device
and
the content bearing object
is a
patient
of
the process
consequent
(=>
(
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
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 14380-14386
If
a data storage device
is an
instance
of
data storage device
and
blank
is an
attribute
of
the data storage device
,
then there doesn't exist
a content bearing object
such that
the content bearing object
is
stored
on
the data storage device
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
If
an entity
is an
instance
of
read only memory data storage
and
a process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
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
doesn't have the
modal
force
of
possibility
(=>
(
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
(=>
(
instance
?X
WriteOnceDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
not
(
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 713-736
If
an entity
is an
instance
of
write once 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
doesn't have the
modal
force
of
possibility
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 14340-14345
If
a content bearing object
is a
record
of
a physical
,
then there exists
a data storage device
such that
the data storage device
is an
instance
of
data storage device
and
the content bearing object
is
stored
on
the data storage device
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