TreeView Knowledge Base Browser - stored

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 14354-14356
(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 14350-14352
(domain stored 1 ContentBearingObject)	Mid-level-ontology.kif 14358-14358	Die Zahl 1 Argument von stored ist ein fall von ContentBearingObject %n{nicht}
(domain stored 2 DataStorageDevice)	Mid-level-ontology.kif 14359-14359	Die Zahl 2 Argument von stored ist ein fall von DataStorageDevice %n{nicht}
(instance stored AntisymmetricRelation)	Mid-level-ontology.kif 14347-14347	stored ist ein fall von AntisymmetricRelation %n{nicht}
(instance stored BinaryPredicate)	Mid-level-ontology.kif 14346-14346	stored ist ein fall von BinaryPredicate %n{nicht}
(instance stored PartialValuedRelation)	Mid-level-ontology.kif 14348-14348	stored ist ein fall von PartialValuedRelation %n{nicht}
(instance stored TransitiveRelation)	Mid-level-ontology.kif 14349-14349	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 14353-14353

antecedent

(=> (equal ?TIME (WhenFn (stored ?O ?D))) (holdsDuring ?TIME (modalAttribute (exists (?P) (patient ?P ?O)) Possibility)))	Mid-level-ontology.kif 14369-14374	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 14361-14367	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 DataStorageDeviceS %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 14379-14385	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 14339-14344	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