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 14382-14384
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14378-14380
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14386-14386	Le nombre 1 argument de stored est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14387-14387	Le nombre 2 argument de stored est une instance de DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14375-14375	stored est une instance de relation antisym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14374-14374	stored est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14376-14376	stored est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14377-14377	stored est une instance de relation transitive

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 14381-14381

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14397-14402	Interval temporel est temps d'existence de stored entit� and entit� l'argument entit� entit� est un patient de entit� a la force modale de Possibility pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14389-14395	stored objet exprimant un sens and DataStorageDevice processus processus est une instance de �crire processus aboutit � DataStorageDevice objet exprimant un sens est un patient de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	DataStorageDevice est AlbumCopiesFn Album and DataStorageDeviceS DataStorageDevice est une instance de DataStorageDevice objet objet est un membre de Album objet exprimant un sens objet exprimant un sens est une copie exact de objet stored objet exprimant un sens and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14407-14413	DataStorageDevice est une instance de DataStorageDevice Blank est un attribut de DataStorageDevice objet exprimant un sens stored objet exprimant un sens and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	Entit� est une instance de ReadOnlyMemoryDataStorage processus est une instance de manufacture entit� est le resultat de processus l'argument entit� entit� and entit� entit� est une instance de d�veloppement de contenu entit� est une instance de DeletingData temps d'existence de processus arrive plus t�t que temps d'existence de entit� entit� est un patient de entit� entit� est un patient de entit� stored entit� and entit� pendant immediatement apr�s temps d'existence de entit� n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 741-763	Entit� est une instance de RewritableDataStorage l'argument entit� entit� entit� est une instance de �crire entit� est un patient de entit� entit� est un patient de entit� stored entit� and entit� pendant immediatement apr�s temps d'existence de entit� a la force modale de Possibility l'argument entit� entit� stored entit� and entit� entit� est une instance de d�veloppement de contenu entit� est une instance de DeletingData entit� est entit� entit� est un patient de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	Entit� est une instance de WriteOnceDataStorage l'argument entit� entit� entit� est une instance de �crire entit� est un patient de entit� entit� est un patient de entit� stored entit� and entit� pendant immediatement apr�s temps d'existence de entit� a la force modale de Possibility l'argument entit� entit� stored entit� and entit� entit� est une instance de d�veloppement de contenu entit� est une instance de DeletingData entit� est entit� entit� est un patient de entit� n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14367-14372	record objet exprimant un sens and physique DataStorageDevice DataStorageDevice est une instance de DataStorageDevice stored objet exprimant un sens and 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