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
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 13821-13823
(
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 13817-13819
(
domain
stored
1
ContentBearingObject
)
Mid-level-ontology.kif 13825-13825
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 13826-13826
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 13814-13814
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 13813-13813
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 13815-13815
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 13816-13816
appearance as argument number 2
(
format
ChineseLanguage
stored
"%1 是
stored
在 %2 ")
domainEnglishFormat.kif 4659-4659
(
format
ChineseTraditionalLanguage
stored
"%1 是
stored
在 %2 ")
domainEnglishFormat.kif 4658-4658
(
format
EnglishLanguage
stored
"%1 is
stored
on %2")
domainEnglishFormat.kif 4657-4657
(
termFormat
EnglishLanguage
stored
"stored")
Mid-level-ontology.kif 13820-13820
antecedent
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 13836-13841
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 13828-13834
consequent
(=>
(
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
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 13846-13852
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
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
(=>
(
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
(=>
(
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
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 13806-13811
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