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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14354-14356
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14350-14352
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14358-14358	域 stored, 1 and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14359-14359	域 stored, 2 and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14347-14347	例 stored and AntisymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14346-14346	例 stored and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14348-14348	例 stored and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	例 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 14353-14353

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14369-14374	等於 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 14361-14367	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 14379-14385	例 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 14339-14344	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