TreeView Knowledge Base Browser - DeletingData

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DeletingData

DeletingData

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 110-110
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 109-109	DeletingData est une sous-classe de ComputerProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4561-4561	DeletingAnAccount est une sous-classe de DeletingData
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64753-64753

antecedent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 112-129

Processus est une instance de DeletingData
entit� entit� est une instance de DigitalData entit� est un patient de processus entit� classe entit� est une instance de ComputerProcess entit� est une instance de classe entit� est une instance de RestoringData entit� est capable de faire classe dans le r�le patient pendant immediatement apr�s temps d'existence de processus

consequent

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.	QoSontology.kif 135-151	Processus est une instance de RestoringData processus entit�, entit� and classe processus est une instance de DeletingData entit� est une instance de DigitalData entit� est un patient de processus entit� est un patient de processus temps d'existence de processus arrive plus t�t que temps d'existence de processus entit� est une instance de ComputerProcess entit� est une instance de classe entit� est capable de faire classe dans le r�le patient pendant immediatement apr�s temps d'existence de processus
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

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