TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 154-155
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1707-1707
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 153-153	ComputerProcess e' uma sub-classe de Mudanca Interna

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1882-1882	Abort e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3491-3491	ComputerBackingUp e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1741-1741	ComputerResponse e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1794-1794	ComputerTask e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4037-4037	DHCPServer e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1922-1922	DataCompression e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1903-1903	DataSaving e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 91-91	DataTransfer e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 109-109	DeletingData e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3419-3419	Jailbreaking e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 883-883	MeasuringPerformance e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3792-3792	MountingADevice e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1779-1779	Multitasking e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 132-132	RestoringData e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1973-1973	ReusingAResource e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1730-1730	UserRequest e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1199-1199	UserSignifiedAction e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1957-1957	UsingAResource e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1770-1770	WindowScrolling e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16356-16356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16355-16355
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16354-16354

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4161-4161	O argumento numero 1 de accountUsed e' uma instancia de ComputerProcess
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 1877-1877	O argumento numero 1 de dataProcessed e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1889-1889	O argumento numero 2 de processAborted e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 776-776	O argumento numero 1 de processID e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 208-208	O argumento numero 1 de programRunning e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1994-1994	O argumento numero 1 de resourceUsed e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 534-534	O argumento numero 1 de standardErrorDevice e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 503-503	O argumento numero 1 de standardInputDevice e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 517-517	O argumento numero 1 de standardOutputDevice e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 573-573	O argumento numero 1 de stateOfProcess e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 798-798	O argumento numero 1 de status e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1952-1952	O argumento numero 1 de task e' uma instancia de ComputerProcess

antecedent

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.	QoSontology.kif 427-438	shutdownOf ShutdownBlock and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and ShutdownBlock tempo de existencia de ComputerProcess e' igual a Intervalo Temporal ComputerProcess Intervalo Temporal ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 387-398	startupOf StartupBlock and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and StartupBlock tempo de existencia de ComputerProcess e' igual a Intervalo Temporal ComputerProcess Intervalo Temporal ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 660-670	startupTimeDelay Programa de Computador and Duracao Temporal ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Fisico e' uma instancia de ComputerProcess tempo de existencia de Fisico e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1270-1284	Intervalo Temporal Intervalo Temporal dependencyDelay Programa de Computador and Duracao Temporal dependencyType Programa de Computador and ShutdownBlock hasDependency Programa de Computador and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal tempo de existencia de ComputerProcess e' igual a Intervalo Temporal o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	Intervalo Temporal Intervalo Temporal dependencyDelay Programa de Computador and Duracao Temporal dependencyType Programa de Computador and StartupBlock hasDependency Programa de Computador and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal tempo de existencia de ComputerProcess e' igual a Intervalo Temporal o fim de Intervalo Temporal e' igual a o comeco de Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal
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

consequent

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.	ComputingBrands.kif 3972-3986	Processo e' uma instancia de LoggingIn hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite Intervalo Temporal e' igual a imediatemente apos tempo de existencia de Processo Processo e' um agente de AutonomousAgent o argumento Entidade Entidade e' uma instancia de ComputerProcess Entidade e' um agente de AutonomousAgent WebSite e' um patient de Entidade vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	Processo e' uma instancia de LoggingIn hasAccount AutonomousAgent and UserAccount deviceAccount UserAccount and Computer Intervalo Temporal e' igual a imediatemente apos tempo de existencia de Processo Processo e' um agente de AutonomousAgent o argumento Entidade Entidade e' uma instancia de ComputerProcess Entidade e' um agente de AutonomousAgent Computer 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 427-438	shutdownOf ShutdownBlock and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and ShutdownBlock tempo de existencia de ComputerProcess e' igual a Intervalo Temporal ComputerProcess Intervalo Temporal ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 387-398	startupOf StartupBlock and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and StartupBlock tempo de existencia de ComputerProcess e' igual a Intervalo Temporal ComputerProcess Intervalo Temporal ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
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 3120-3128	Fisico e' uma instancia de EmailProgram Fisico tem por fim Entidade Entidade Entidade e' uma instancia de ComputerProcess Entidade e' uma instancia de Emailing Entidade e' um instrumento para Entidade programRunning Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3182-3193	Fisico e' uma instancia de IgnitionControlModule Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Spark Entidade e' uma instancia de ComputerProcess Fisico e' uma &parte de Entidade eventLocated Entidade and Entidade eventLocated Entidade and Entidade Entidade causa 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
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

KB Term:			Term intersection

English Word: