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
Le nombre 1 argument de
stored
est une
instance
de
objet exprimant un sens
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 14360-14360
Le nombre 2 argument de
stored
est une
instance
de
DataStorageDevice
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 14348-14348
stored
est une
instance
de
relation antisym�trique
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 14347-14347
stored
est une
instance
de
pr�dicat binaire
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 14349-14349
stored
est une
instance
de
relation partielle
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 14350-14350
stored
est une
instance
de
relation transitive
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
Interval temporel
est
temps
d'existence de
stored
entit�
and
entit�
l'argument
entit�
entit�
est un
patient
de
entit�
a la
force
modale
de
Possibility
pendant
interval temporel
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 14362-14368
stored
objet exprimant un sens
and
DataStorageDevice
processus
processus
est une
instance
de
�crire
processus
aboutit
�
DataStorageDevice
objet exprimant un sens
est un
patient
de
processus
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
DataStorageDevice
est
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
est une
instance
de
DataStorageDevice
objet
objet
est un
membre
de
Album
objet exprimant un sens
objet exprimant un sens
est une
copie
exact de
objet
stored
objet exprimant un sens
and
DataStorageDevice
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 14380-14386
DataStorageDevice
est une
instance
de
DataStorageDevice
Blank
est un
attribut
de
DataStorageDevice
objet exprimant un sens
stored
objet exprimant un sens
and
DataStorageDevice
(=>
(
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
Entit�
est une
instance
de
ReadOnlyMemoryDataStorage
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
d�veloppement de contenu
entit�
est une
instance
de
DeletingData
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
stored
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
n' %n{pas} la
force
modale
de
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
Entit�
est une
instance
de
RewritableDataStorage
l'argument
entit�
entit�
entit�
est une
instance
de
�crire
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
stored
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
de
Possibility
l'argument
entit�
entit�
stored
entit�
and
entit�
entit�
est une
instance
de
d�veloppement de contenu
entit�
est une
instance
de
DeletingData
entit�
est
entit�
entit�
est un
patient
de
entit�
a la
force
modale
de
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
Entit�
est une
instance
de
WriteOnceDataStorage
l'argument
entit�
entit�
entit�
est une
instance
de
�crire
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
stored
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
de
Possibility
l'argument
entit�
entit�
stored
entit�
and
entit�
entit�
est une
instance
de
d�veloppement de contenu
entit�
est une
instance
de
DeletingData
entit�
est
entit�
entit�
est un
patient
de
entit�
n' %n{pas} la
force
modale
de
Possibility
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 14340-14345
record
objet exprimant un sens
and
physique
DataStorageDevice
DataStorageDevice
est une
instance
de
DataStorageDevice
stored
objet exprimant un sens
and
DataStorageDevice
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