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 14382-14384
(
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 14378-14380
(
domain
stored
1
ContentBearingObject
)
Mid-level-ontology.kif 14386-14386
域
stored
, 1 and
ContentBearingObject
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 14387-14387
域
stored
, 2 and
DataStorageDevice
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 14375-14375
例
stored
and
AntisymmetricRelation
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 14374-14374
例
stored
and
BinaryPredicate
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 14376-14376
例
stored
and
PartialValuedRelation
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 14377-14377
例
stored
and
TransitiveRelation
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 14381-14381
antecedent
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14397-14402
等於
TimeInterval
and
何時
entity
是
stored
在
entity
持有期間
TimeInterval
and
模態屬性
entity
患者
entity
and
entity
and
可能性
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 14389-14395
ContentBearingObject
是
stored
在
DataStorageDevice
Process
例
Process
and
Writing
目的地
Process
and
DataStorageDevice
患者
Process
and
ContentBearingObject
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
and
Album
在
DataStorageDevice
S 的
set
複製
例
DataStorageDevice
and
DataStorageDevice
Object
在列表中
Object
and
Album
ContentBearingObject
複製
ContentBearingObject
and
Object
ContentBearingObject
是
stored
在
DataStorageDevice
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 14407-14413
例
DataStorageDevice
and
DataStorageDevice
attribute
DataStorageDevice
and
Blank
ContentBearingObject
ContentBearingObject
是
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
例
Entity
and
ReadOnlyMemoryDataStorage
例
Process
and
Manufacture
結果
Process
and
Entity
模態屬性
entity
entity
and
entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
早期
何時
Process
and
何時
entity
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
(=>
(
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
例
Entity
and
RewritableDataStorage
模態屬性
entity
entity
例
entity
and
Writing
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
模態屬性
entity
entity
entity
是
stored
在
Entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
等於
entity
and
entity
患者
entity
and
entity
and
可能性
(=>
(
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
例
Entity
and
WriteOnceDataStorage
模態屬性
entity
entity
例
entity
and
Writing
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
模態屬性
entity
entity
entity
是
stored
在
Entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
等於
entity
and
entity
患者
entity
and
entity
and
可能性
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 14367-14372
ContentBearingObject
是個
Physical
的
record
DataStorageDevice
例
DataStorageDevice
and
DataStorageDevice
ContentBearingObject
是
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