TreeView Knowledge Base Browser - DigitalData

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DigitalData

DigitalData

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1852-1853
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8451-8451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9144-9144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9145-9145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9146-9146
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9147-9147
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9148-9148
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1851-1851	DigitalData e' uma sub-classe de Sequencia Simbolica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 171-171	ComputerFile e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1078-1078	ComputerPath e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2105-2105	ComputerReport e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1869-1869	Database e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2859-2859	DigitalComment e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2825-2825	DigitalPost e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3304-3304	HypertextLink e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1862-1862	ImageFile e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 262-262	Packet e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	Media.kif 1482-1482	WebPage e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	Media.kif 1494-1494	WebSite e' uma sub-classe de DigitalData
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19518-19518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19517-19517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19516-19516

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1878-1878	O argumento numero 2 de dataProcessed e' uma instancia de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2207-2207	O argumento numero 2 de filename e' uma instancia de DigitalData

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	ComputerProcess e' uma instancia de ComputerBackingUp dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de DigitalData ComputerProcess e' um agente de Agente Cognitivo Agente Cognitivo deseja Entidade tempo de existencia de ComputerProcess acontence antes de Entidade Entidade Entidade e' uma instancia de ComputerProcess DigitalData e' capaz de fazer Entidade no role dataProcessed vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 801-812	Objeto e' uma instancia de DigitalDataStorageDevice Sequencia Simbolica e' uma &parte de Objeto Sequencia Simbolica e' uma instancia de DigitalData CodeMap Lista and Entidade codeMapping CodeMap, Sequencia Simbolica and Entidade Lista define CodeMap Entidade e' um membro de Lista Entidade e' uma instancia de Numero Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1855-1860	Fisico e' uma instancia de DigitalData Objeto Objeto e' uma instancia de DigitalDataStorageDevice Fisico e' situado em Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	Fisico tem um atributo de Booting Fisico e' uma instancia de Computer Objeto Objeto and Transferencia Objeto e' uma instancia de DigitalData Objeto e' uma instancia de OperatingSystem Transferencia e' uma instancia de DataTransfer tempo de existencia de Transferencia acontece durante tempo de existencia de Fisico Transferencia termina em Fisico Objeto e' uma &parte de Objeto objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2684-2692	Processo e' uma instancia de DownloadingOverNetwork Entidade AutonomousAgent Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent AutonomousAgent e' uma instancia de ComputerSystem Entidade e' uma instancia de DigitalData
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2779-2786	Processo e' uma instancia de UploadingOverNetwork Entidade Objeto Entidade e' um patient de Processo Objeto e' uma instancia de Computer Processo tem como origem Objeto Entidade e' uma instancia de DigitalData
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3167-3174	Fisico e' uma instancia de ComputerDesktopImage Fisico tem por fim Fisico inclui uma referencia a Entidade Entidade e' uma instancia de DigitalData Entidade e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4319-4326	Processo e' uma instancia de DataEntry Processo AutonomousAgent Processo e' uma instancia de DigitalData Processo e' um agente de AutonomousAgent ComputerUser e' um atributo de AutonomousAgent Processo e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	Entidade e' uma instancia de HypertextLink Entidade inclui uma referencia a DigitalData
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4299-4310	Processo e' uma instancia de TwoFactorLoggingIn Transferencia Objeto Transferencia e' um sub-processo de Processo Transferencia e' uma instancia de DataEntry Objeto e' uma instancia de DigitalData objectTransferred Transferencia and Objeto Objeto e' uma instancia de ComputerPassword Objeto e' uma instancia de UserName
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 95-106	Processo e' uma instancia de DataTransfer Objeto Entidade, Objeto and Entidade Processo tem como origem Objeto Processo termina em Entidade Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de DigitalData Objeto e' uma instancia de HardwareSystem Objeto e' uma instancia de HardwareSystem Entidade e' uma instancia de ComputationalSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1681-1686	Entidade e' uma instancia de UniformResourceIdentifier Entidade Entidade e' uma instancia de DigitalData Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-129	Processo e' uma instancia de DeletingData Entidade Entidade e' uma instancia de DigitalData Entidade e' um patient de Processo Entidade Classe Entidade e' uma instancia de ComputerProcess Entidade e' uma instancia de Classe Entidade e' uma instancia de RestoringData Entidade e' capaz de fazer Classe no role patient vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 135-151	Processo e' uma instancia de RestoringData Processo Entidade, Entidade and Classe Processo e' uma instancia de DeletingData Entidade e' uma instancia de DigitalData Entidade e' um patient de Processo Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo Entidade e' uma instancia de ComputerProcess Entidade e' uma instancia de Classe Entidade e' capaz de fazer Classe no role patient vale durante imediatemente apos tempo de existencia de Processo

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