stored - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14355-14357
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14351-14353
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14359-14359	域 stored, 1 and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14360-14360	域 stored, 2 and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14348-14348	例 stored and AntisymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14347-14347	例 stored and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	例 stored and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14350-14350	例 stored and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4650-4650
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4649-4649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4648-4648
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14354-14354

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14370-14375	等於 TimeInterval and 何時 entity 是 stored 在 entity 持有期間 TimeInterval and 模態屬性 entity 患者 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14362-14368	ContentBearingObject 是 stored 在 DataStorageDevice Process 例 Process and Writing 目的地 Process and DataStorageDevice 患者 Process and ContentBearingObject

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	等於 DataStorageDevice and Album 在 DataStorageDeviceS 的 set 複製例 DataStorageDevice and DataStorageDevice Object 在列表中 Object and Album ContentBearingObject 複製 ContentBearingObject and Object ContentBearingObject 是 stored 在 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14380-14386	例 DataStorageDevice and DataStorageDevice attribute DataStorageDevice and Blank ContentBearingObject ContentBearingObject 是 stored 在 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14340-14345	ContentBearingObject 是個 Physical 的 record DataStorageDevice 例 DataStorageDevice and DataStorageDevice ContentBearingObject 是 stored 在 DataStorageDevice

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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