TreeView Knowledge Base Browser - Computer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Computer

Computer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 26-28
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 363-363
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	Computer e' uma sub-classe de ElectricDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 101-101	AppleComputer e' uma sub-classe de Computer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2512-2512	EngineControlModule e' uma sub-classe de Computer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3177-3177	IgnitionControlModule e' uma sub-classe de Computer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29530-29530	PortableComputer e' uma sub-classe de Computer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16248-16248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16247-16247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16246-16246

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 203-203	O argumento numero 2 de computerRunning e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3534-3534	O argumento numero 2 de connectedPeripheral e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3951-3951	O argumento numero 2 de deviceAccount e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1023-1023	O argumento numero 2 de hardwareType e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2129-2129	O argumento numero 1 de hostJitter e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 550-550	O argumento numero 2 de hostOf e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2111-2111	O argumento numero 1 de hostStatus e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 762-762	O argumento numero 1 de ipAddressOf e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1015-1015	O argumento numero 1 de numberOfCPUs e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 188-188	O argumento numero 2 de runningOn e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 339-339	O argumento numero 2 de runsOn e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1034-1034	O argumento numero 1 de thresholdOf e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4286-4286	O argumento numero 2 de trustedDevice e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 352-352	O argumento numero 2 de canRunOn e' uma sub-classe de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 728-728	O argumento numero 2 de deviceOS e' uma sub-classe de Computer

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	Processo e' uma instancia de Jailbreaking Entidade e' uma instancia de Computer Entidade e' uma instancia de Objeto Entidade e' um patient de Processo manufacturer Objeto and Agente Cognitivo Agente Cognitivo nao deseja %n Entidade Processo e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3826-3840	Transferencia e' uma instancia de SoftwareUpgrading Entidade e' um patient de Transferencia Entidade e' uma instancia de Computer Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de Programa de Computador vale durante o comeco de tempo de existencia de Transferencia vale durante o fim de tempo de existencia de Transferencia
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.	ComputingBrands.kif 1820-1827	Entidade e' uma instancia de Computer AirplaneMode e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer NetworkCommunicationFn WirelessNetwork no role origin vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 63-68	Objeto Corpuscular e' uma instancia de ComputerHardware Objeto Corpuscular Objeto Corpuscular e' uma instancia de Computer Objeto Corpuscular e' um componente de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	Colecao e' uma instancia de Organizacao ComputerAndElectronicProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Computer Entidade e' uma instancia de Maquina AutonomousAgent3 Objeto Entidade e' um patient de AutonomousAgent3 Objeto e' um recurso para AutonomousAgent3 Objeto e' uma instancia de Electricity Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1723-1728	ComputerUser e' um atributo de AutonomousAgent Objeto Objeto e' uma instancia de Computer AutonomousAgent usa Objeto
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 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.	ComputingBrands.kif 4065-4072	ComputerProcess e' uma instancia de DHCPServer Programa de Computador Computer Computer e' uma instancia de Computer Programa de Computador e' uma instancia de DHCPProgram computerRunning ComputerProcess and Computer programRunning ComputerProcess and Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	Processo e' uma instancia de MountingADevice Entidade Entidade Entidade e' uma instancia de Computer Entidade e' uma instancia de ComputerIODevice Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado a Entidade vale durante tempo de existencia de Processo connectedPeripheral Entidade and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1311-1318	Processo e' uma instancia de ITProcess AutonomousAgent Entidade Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de ITAgent Entidade e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 157-164	ComputerProcess e' uma instancia de ComputerProcess Computer Programa de Computador Computer e' uma instancia de Computer computerRunning ComputerProcess and Computer Programa de Computador e' uma instancia de Programa de Computador programRunning ComputerProcess and Programa de Computador
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1670-1676	Entidade e' uma instancia de BusinessCenter o argumento Entidade Entidade e' uma instancia de Computer Entidade e' situado em Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	loggedInDuring AutonomousAgent, UserAccount and Intervalo Temporal o argumento Entidade Entidade Entidade e' uma instancia de ComputerProcess Entidade e' um agente de AutonomousAgent deviceAccount UserAccount and Entidade Entidade e' uma instancia de Computer computerRunning Entidade and Entidade Entidade e' um instrumento para Entidade vale durante Intervalo Temporal tem a forca modal 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