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
O argumento numero 1 de
stored
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 14360-14360
O argumento numero 2 de
stored
e' uma
instancia
de
DataStorageDevice
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 14348-14348
stored
e' uma
instancia
de
Relacao Anti-simetrica
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 14347-14347
stored
e' uma
instancia
de
Predicado Binario
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 14349-14349
stored
e' uma
instancia
de
Relacao Parcial
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 14350-14350
stored
e' uma
instancia
de
Relacao Transitiva
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
Intervalo Temporal
e'
igual
a
tempo
de existencia de
stored
Entidade
and
Entidade
o argumento
Entidade
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
vale
durante
Intervalo Temporal
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 14362-14368
stored
Objeto Representendo Conteudo Abstrato
and
DataStorageDevice
Processo
Processo
e' uma
instancia
de
Escrever
Processo
termina
em
DataStorageDevice
Objeto Representendo Conteudo Abstrato
e' um
patient
de
Processo
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
e'
igual
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
e' uma
instancia
de
DataStorageDevice
Objeto
Objeto
e' um
membro
de
Album
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
copia
exata de
Objeto
stored
Objeto Representendo Conteudo Abstrato
and
DataStorageDevice
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 14380-14386
DataStorageDevice
e' uma
instancia
de
DataStorageDevice
Blank
e' um
atributo
de
DataStorageDevice
Objeto Representendo Conteudo Abstrato
stored
Objeto Representendo Conteudo Abstrato
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
Entidade
e' uma
instancia
de
ReadOnlyMemoryDataStorage
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' uma
instancia
de
DeletingData
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
stored
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
nao %n a
forca
modal
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
Entidade
e' uma
instancia
de
RewritableDataStorage
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Escrever
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
stored
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
de
Possibility
o argumento
Entidade
Entidade
stored
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' uma
instancia
de
DeletingData
Entidade
e'
igual
a
Entidade
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
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
Entidade
e' uma
instancia
de
WriteOnceDataStorage
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Escrever
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
stored
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
de
Possibility
o argumento
Entidade
Entidade
stored
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' uma
instancia
de
DeletingData
Entidade
e'
igual
a
Entidade
Entidade
e' um
patient
de
Entidade
nao %n a
forca
modal
de
Possibility
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 14340-14345
record
Objeto Representendo Conteudo Abstrato
and
Fisico
DataStorageDevice
DataStorageDevice
e' uma
instancia
de
DataStorageDevice
stored
Objeto Representendo Conteudo Abstrato
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