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
Die Zahl 1 Argument von
stored
ist ein
fall
von
ContentBearingObject
%n{nicht}
(
domain
stored
2
DataStorageDevice
)
Mid-level-ontology.kif 14387-14387
Die Zahl 2 Argument von
stored
ist ein
fall
von
DataStorageDevice
%n{nicht}
(
instance
stored
AntisymmetricRelation
)
Mid-level-ontology.kif 14375-14375
stored
ist ein
fall
von
AntisymmetricRelation
%n{nicht}
(
instance
stored
BinaryPredicate
)
Mid-level-ontology.kif 14374-14374
stored
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
stored
PartialValuedRelation
)
Mid-level-ontology.kif 14376-14376
stored
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
stored
TransitiveRelation
)
Mid-level-ontology.kif 14377-14377
stored
ist ein
fall
von
TransitiveRelation
%n{nicht}
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
Wenn
TimeInterval
ist gleich die
zeit
des Bestehens von
stored
entity
and
** entity
%n{nicht},
dann die Aussage es gibt
** entity
um
** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
stored
?O ?D)
(
exists
(?P)
(
and
(
instance
?P
Writing
)
(
destination
?P ?D)
(
patient
?P ?O))))
Mid-level-ontology.kif 14389-14395
Wenn
stored
ContentBearingObject
and
DataStorageDevice
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Writing
%n{nicht} und
** Process
endet an
** DataStorageDevice
%n{nicht} und
** ContentBearingObject
ist ein
patient
von
** Process
%n{nicht}
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
Wenn
** DataStorageDevice
ist gleich
AlbumCopiesFn
Album
and
** DataStorageDevice
S %n{nicht} und
** DataStorageDevice
ist ein
fall
von
** ** DataStorageDevice
%n{nicht},
dann fuer alle
Object
wenn
** Object
ist ein
Mitglied
von
** Album
,
dann es gibt
ContentBearingObject
um
** ContentBearingObject
ist eine genaue
kopie
von
** Object
und
stored
** ContentBearingObject
and
** ** DataStorageDevice
(=>
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
attribute
?DSTORE
Blank
))
(
not
(
exists
(?DATA)
(
stored
?DATA ?DSTORE))))
Mid-level-ontology.kif 14407-14413
Wenn
DataStorageDevice
ist ein
fall
von
DataStorageDevice
%n{nicht} und
Blank
ist ein
attribut
von
** DataStorageDevice
%n{nicht},
dann es gibt nicht
ContentBearingObject
um
stored
** ContentBearingObject
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
Wenn
Entity
ist ein
fall
von
ReadOnlyMemoryDataStorage
%n{nicht} und
Process
ist ein
fall
von
Manufacture
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann nicht die Aussage es gibt
** entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
ContentDevelopment
%n{nicht} oder
** ** entity
ist ein
fall
von
DeletingData
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht frueh als die
zeit
des Bestehens von
** ** entity
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
stored
** ** entity
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** ** entity
%n{nicht} hat die modale Kraft von
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
Wenn
Entity
ist ein
fall
von
RewritableDataStorage
%n{nicht},
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
Writing
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
stored
** ** entity
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
und die Aussage es gibt
** entity
und
** entity
um
stored
** ** entity
and
** Entity
und
** ** entity
ist ein
fall
von
ContentDevelopment
%n{nicht} oder
** ** entity
ist ein
fall
von
DeletingData
%n{nicht} und
** ** entity
ist gleich
** ** entity
nicht und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
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
Wenn
Entity
ist ein
fall
von
WriteOnceDataStorage
%n{nicht},
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
Writing
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
stored
** ** entity
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
und nicht die Aussage es gibt
** entity
und
** entity
um
stored
** ** entity
and
** Entity
und
** ** entity
ist ein
fall
von
ContentDevelopment
%n{nicht} oder
** ** entity
ist ein
fall
von
DeletingData
%n{nicht} und
** ** entity
ist gleich
** ** entity
nicht und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
record
?REC ?PHYS)
(
exists
(?DS)
(
and
(
instance
?DS
DataStorageDevice
)
(
stored
?REC ?DS))))
Mid-level-ontology.kif 14367-14372
Wenn
record
ContentBearingObject
and
Physical
,
dann es gibt
DataStorageDevice
um
** DataStorageDevice
ist ein
fall
von
DataStorageDevice
%n{nicht} und
stored
** ContentBearingObject
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