TreeView Knowledge Base Browser - computerRunning

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

computerRunning

Sigma KEE - computerRunning

computerRunning

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 204-205
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 202-202	O argumento numero 1 de computerRunning e' uma instancia de ComputerProcess
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.	QoSontology.kif 200-200	computerRunning e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 201-201	computerRunning e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	computerRunning e' uma sub-relacao de instrument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3058-3058
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3057-3057
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3056-3056
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16392-16392
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16391-16391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16390-16390

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1990-1999	Fisico e' uma instancia de AppleAppStore programRunning ComputerProcess and Fisico computerRunning ComputerProcess and Computer Fisico tem por fim Entidade Entidade e' uma instancia de DownloadingOverNetwork Entidade tem como origem Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 343-347	programRunning ComputerProcess and Programa de Computador computerRunning ComputerProcess and Computer runsOn Programa de Computador and Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 357-363	programRunning ComputerProcess and Programa de Computador Programa de Computador e' uma instancia de Programa de Computador Computer e' uma instancia de Computer computerRunning ComputerProcess and Computer canRunOn Programa de Computador and Computer

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 734-743	deviceOS Objeto and Computer ObjetoI e' uma instancia de Objeto ComputerI e' uma instancia de Computer manufacturer Objeto and Agente Cognitivo Agente Cognitivo deseja programRunning Entidade and ComputerI computerRunning Entidade and ObjetoI
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3593-3601	ComputerProcess e' uma instancia de SoftwareInstallation dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de Programa de Computador ComputerProcess termina em Entidade ComputerProcess tem por fim DigitalDataROC computerRunning DigitalDataROC and Entidade
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 299-307	Programa de Computador e' uma instancia de SoftwareSystem ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador Computer Computer e' uma instancia de HardwareSystem computerRunning ComputerProcess and Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1960-1968	Fisico e' uma instancia de App Fisico tem por fim Fisico Entidade and Entidade Entidade e' uma instancia de MobileCellPhone Entidade e' uma instancia de ComputerProcess programRunning Entidade and Fisico computerRunning Entidade and Entidade
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.	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.	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 192-197	runningOn Programa de Computador and Computer ComputerProcess programRunning ComputerProcess and Programa de Computador computerRunning ComputerProcess and Computer

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