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
stored
的 1 数量 是
有内用物体
的
instance
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 14360-14360
stored
的 2 数量 是
DataStorageDevice
的
instance
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 14348-14348
stored
是
反对称关系
的
instance
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 14347-14347
stored
是
二元谓语
的
instance
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 14349-14349
stored
是
部分值关系
的
instance
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 14350-14350
stored
是
传递关系
的
instance
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
如果
时距
equal
实体
是
stored
在
另一个 实体
出现 的
time
,
然后 有存在
第三 实体
这样
那个 实体
是
那个 第三 实体
的
patient
的声明 has
可能性
的语气 在
那个 时距
holdsDuring
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 14362-14368
如果
有内用物体
是
stored
在
DataStorageDevice
,
然后 有存在
过程
这样
那个 过程
是
写作
的
instance
和
那个 过程
在
那个 DataStorageDevice
结束 和
那个 有内用物体
是
那个 过程
的
patient
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
equal
Album
在
有点 DataStorageDevice
S 的
set
复制 和
第三 DataStorageDevice
是
那个 有点 DataStorageDevice
的
instance
,
然后 对所有
客体
如果
那个 客体
是
那个 Album
的
member
,
然后 有存在
有内用物体
这样
那个 有内用物体
是和
那个 客体
完全相同的
copy
和
那个 有内用物体
是
stored
在
那个 第三 DataStorageDevice
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 14380-14386
如果
DataStorageDevice
是
DataStorageDevice
的
instance
和
Blank
是
那个 DataStorageDevice
的
attribute
,
然后 不存在
有内用物体
这样
那个 有内用物体
是
stored
在
那个 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
如果
实体
是
ReadOnlyMemoryDataStorage
的
instance
和
过程
是
制造
的
instance
和
那个 实体
是
那个 过程
的
result
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 过程
出现 的
time
比
那个 另外 实体
出现 的
time
发生的
earlier
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 doesn't have
可能性
的语气
(=>
(
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
如果
实体
是
RewritableDataStorage
的
instance
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
写作
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 has
可能性
的语气 和 有存在
第四 实体
和
第五 实体
这样
那个 第五 实体
是
stored
在
那个 实体
和
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 另外 实体
不
equal
那个 第四 实体
和
那个 第五 实体
是
那个 第四 实体
的
patient
的声明 has
可能性
的语气
(=>
(
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
如果
实体
是
WriteOnceDataStorage
的
instance
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
写作
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 has
可能性
的语气 和 有存在
第四 实体
和
第五 实体
这样
那个 第五 实体
是
stored
在
那个 实体
和
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 另外 实体
不
equal
那个 第四 实体
和
那个 第五 实体
是
那个 第四 实体
的
patient
的声明 doesn't have
可能性
的语气
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 14340-14345
如果
有内用物体
是个
物理
的
record
,
然后 有存在
DataStorageDevice
这样
那个 DataStorageDevice
是
DataStorageDevice
的
instance
和
那个 有内用物体
是
stored
在
那个 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