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 数量是有内用物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14359-14359	stored 的 2 数量是 DataStorageDevice 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14347-14347	stored 是反对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14346-14346	stored 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14348-14348	stored 是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	stored 是传递关系的 instance

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	如果时距 equal 实体是 stored 在另一个实体出现的 time，然后有存在第三实体这样那个实体是那个第三实体的 patient 的声明 has 可能性的语气在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14361-14367	如果有内用物体是 stored 在 DataStorageDevice ，然后有存在过程这样那个过程是写作的 instance 和那个过程在那个 DataStorageDevice 结束和那个有内用物体是那个过程的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	如果有点 DataStorageDevice equal Album 在有点 DataStorageDeviceS 的 set 复制和第三 DataStorageDevice 是那个有点 DataStorageDevice 的 instance，然后对所有客体如果那个客体是那个 Album 的 member，然后有存在有内用物体这样那个有内用物体是和那个客体完全相同的 copy 和那个有内用物体是 stored 在那个第三 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14379-14385	如果 DataStorageDevice 是 DataStorageDevice 的 instance 和 Blank 是那个 DataStorageDevice 的 attribute，然后不存在有内用物体这样那个有内用物体是 stored 在那个 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	如果实体是 ReadOnlyMemoryDataStorage 的 instance 和过程是制造的 instance 和那个实体是那个过程的 result，然后有存在另一个实体，第三实体， and 和第四实体这样那个第四实体是内容制作的 instance 或那个第四实体是 DeletingData 的 instance 和那个过程出现的 time 比那个另外实体出现的 time发生的earlier 和那个实体是那个另外实体的 patient 和那个第三实体是那个另外实体的 patient 和那个第三实体是 stored 在那个实体在紧接那个另外实体出现的 time after holdsDuring 的声明 doesn't have 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Media.kif 741-763	如果实体是 RewritableDataStorage 的 instance，然后有存在另一个实体和第三实体这样那个另外实体是写作的 instance 和那个实体是那个另外实体的 patient 和那个第三实体是那个另外实体的 patient 和那个第三实体是 stored 在那个实体在紧接那个另外实体出现的 time after holdsDuring 的声明 has 可能性的语气和有存在第四实体和第五实体这样那个第五实体是 stored 在那个实体和那个第四实体是内容制作的 instance 或那个第四实体是 DeletingData 的 instance 和那个另外实体不 equal 那个第四实体和那个第五实体是那个第四实体的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	如果实体是 WriteOnceDataStorage 的 instance，然后有存在另一个实体和第三实体这样那个另外实体是写作的 instance 和那个实体是那个另外实体的 patient 和那个第三实体是那个另外实体的 patient 和那个第三实体是 stored 在那个实体在紧接那个另外实体出现的 time after holdsDuring 的声明 has 可能性的语气和有存在第四实体和第五实体这样那个第五实体是 stored 在那个实体和那个第四实体是内容制作的 instance 或那个第四实体是 DeletingData 的 instance 和那个另外实体不 equal 那个第四实体和那个第五实体是那个第四实体的 patient 的声明 doesn't have 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14339-14344	如果有内用物体是个物理的 record ，然后有存在 DataStorageDevice 这样那个 DataStorageDevice 是 DataStorageDevice 的 instance 和那个有内用物体是 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