TreeView Knowledge Base Browser - ComputerNetwork

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputerNetwork

Sigma KEE - ComputerNetwork

ComputerNetwork

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 31-34
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 30-30	ComputerNetwork e' uma sub-classe de ComputationalSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1330-1330	ComputerNetwork e' uma sub-classe de RealtimeSystem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1872-1872	AirPrint e' uma sub-classe de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 36-36	LAN e' uma sub-classe de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1408-1408	WirelessNetwork e' uma sub-classe de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16326-16326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16325-16325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16324-16324

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1053-1053	O argumento numero 1 de bandwidth e' uma instancia de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1004-1004	O argumento numero 2 de defaultNetwork e' uma instancia de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1521-1521	O argumento numero 1 de NetworkCommunicationFn e' uma sub-classe de ComputerNetwork

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 326-334	Objeto Corpuscular e' uma instancia de HardwareSystem Objeto Corpuscular e' um componente de Objeto Corpuscular Processo e' uma instancia de DataTransfer Processo tem como origem Objeto Corpuscular Objeto Corpuscular e' uma instancia de ComputerNetwork Objeto Corpuscular e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3324-3337	Colecao e' uma instancia de ComputerSystem Componente de Engenharia Componente de Engenharia and Componente de Engenharia Componente de Engenharia e' uma instancia de Computer Componente de Engenharia e' uma instancia de Computer Componente de Engenharia e' uma instancia de ComputerNetwork Componente de Engenharia e' membro de Colecao Componente de Engenharia e' membro de Colecao Componente de Engenharia e' membro de Colecao Componente de Engenharia e' igual a Componente de Engenharia Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia e' conectado a Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 831-836	Objeto e' uma instancia de NetworkAdapter Objeto Objeto e' uma instancia de ComputerNetwork Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4173-4178	Processo e' uma instancia de NetworkMessaging Objeto Objeto e' uma instancia de ComputerNetwork Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 312-321	Objeto Corpuscular e' uma instancia de HardwareSystem Objeto Corpuscular Objeto Corpuscular and Objeto Corpuscular Objeto Corpuscular e' uma instancia de CPU Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de ComputerMemory Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de ComputerNetwork Objeto Corpuscular e' um componente de Objeto Corpuscular

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