TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3761-3761
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16784-16785
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1708-1708
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1295-1295
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1294-1294
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16783-16783	Programa de Computador e' uma sub-classe de Procedimento
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 813-813	Programa de Computador e' uma sub-classe de Software

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1828-1828	JOPES e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2169-2169	AVCTP e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2949-2949	AdobeFlashPlayer e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1947-1947	App e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1970-1970	AppleAppStore e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 917-917	AppleFaceTime e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 955-955	AppleFairPlay e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2932-2932	AppleFastAppSwitcher e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 881-881	AppleGarageBand e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 899-899	AppleICloud e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 905-905	AppleILife e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 893-893	AppleIMessages e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 887-887	AppleIMovie e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 911-911	AppleIWork e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 988-988	AppleMigrationAssistant e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 981-981	AppleSetupAssistant e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1911-1911	ApplicationProgrammerInterface e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 578-578	AutomaticApplication e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2281-2281	Bookmarklet e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2307-2307	CalendaringProgram e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2329-2329	CameraProgram e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 608-608	ConsoleApplication e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4054-4054	DHCPProgram e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3102-3102	EmailProgram e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4251-4251	FindMyIPhone e' uma sub-classe de Programa de Computador

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1319-1319	O argumento numero 1 de CPUUtilizationFn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1312-1312	O argumento numero 1 de InitialProfileFn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 441-441	O argumento numero 1 de ShutdownFn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 401-401	O argumento numero 1 de StartupFn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1295-1295	O argumento numero 1 de commandLineArguments e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 643-643	O argumento numero 1 de criticalityLevel e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1244-1244	O argumento numero 1 de dependencyDelay e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1221-1221	O argumento numero 1 de dependencyType e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 461-461	O argumento numero 1 de environmentAttributes e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1238-1238	O argumento numero 1 de hasDependency e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1239-1239	O argumento numero 2 de hasDependency e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4044-4044	O argumento numero 1 de implementsProtocol e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 741-741	O argumento numero 1 de maximumReplications e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 720-720	O argumento numero 1 de minimumReplications e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 974-974	O argumento numero 2 de monitorApplicationData e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 768-768	O argumento numero 1 de portNumber e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 637-637	O argumento numero 2 de programCopy e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 209-209	O argumento numero 2 de programRunning e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 187-187	O argumento numero 1 de runningOn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 338-338	O argumento numero 1 de runsOn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 713-713	O argumento numero 1 de settlingTime e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 413-413	O argumento numero 2 de shutdownOf e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 921-921	O argumento numero 1 de softwareHeartBeatRate e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3865-3865	O argumento numero 1 de softwareVersion e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 373-373	O argumento numero 2 de startupOf e' uma instancia de Programa de Computador

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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.	ComputingBrands.kif 3603-3617	ComputerProcess e' uma instancia de SoftwareUnInstallation Intervalo Temporal e' igual a tempo de existencia de ComputerProcess dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de Programa de Computador ComputerProcess e' situado em Objeto ComputerProcess Intervalo Temporal ComputerProcess e' uma instancia de SoftwareInstallation Intervalo Temporal e' igual a tempo de existencia de ComputerProcess dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de Programa de Computador ComputerProcess e' situado em Objeto Intervalo Temporal acontence antes de Intervalo Temporal

consequent

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 3603-3617	ComputerProcess e' uma instancia de SoftwareUnInstallation Intervalo Temporal e' igual a tempo de existencia de ComputerProcess dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de Programa de Computador ComputerProcess e' situado em Objeto ComputerProcess Intervalo Temporal ComputerProcess e' uma instancia de SoftwareInstallation Intervalo Temporal e' igual a tempo de existencia de ComputerProcess dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de Programa de Computador ComputerProcess e' situado em Objeto Intervalo Temporal acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1929-1934	Proposicao e' uma instancia de ApplicationProgrammerInterface Proposicao Proposicao e' uma instancia de Programa de Computador Proposicao e' uma &sub-proposicao de Proposicao
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.	Merge.kif 16791-16796	Processo e' uma instancia de ComputerProgramming Entidade Entidade e' uma instancia de Programa de Computador Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1736-1746	Fisico e' uma instancia de ComputerProtocol Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Programa de Computador Entidade e' uma instancia de Programa de Computador Entidade e' uma instancia de DataTransfer Entidade tem como origem Entidade Entidade termina em Entidade Fisico define Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1534-1540	ContentBearingPhysical e' uma instancia de SoftwareFile ContentBearingPhysical Proposicao ContentBearingPhysical e' uma instancia de Programa de Computador ContentBearingPhysical subsume o conteudo de Proposicao ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	Objeto e' uma instancia de GUIDock Objeto ComputerProcess and Programa de Computador Programa de Computador e' uma instancia de Programa de Computador programRunning ComputerProcess and Programa de Computador Objeto e' uma instancia de Icone Objeto define ComputerProcess Objeto e' Inside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2008-2010	Entidade_SERVER e' uma instancia de PageModuleServer Entidade_SERVER e' uma &parte de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 819-824	Objeto e' uma instancia de SoftwarePackage Objeto Objeto e' uma instancia de Programa de Computador Objeto e' uma &parte de Objeto
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.	QoSontology.kif 599-606	Programa de Computador e' uma instancia de RMStartApplication Programa de Computador ComputerProcess and Programa de ComputadorCopy Programa de Computador e' uma instancia de Programa de Computador programCopy Programa de ComputadorCopy and Programa de Computador programRunning ComputerProcess and StartupFn Programa de Computador ComputerProcess e' um agente de Programa de ComputadorCopy
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 562-570	Entidade e' uma instancia de ProcessState Programa de Computador Programa de Computador e' uma instancia de Programa de Computador ComputerProcess programRunning ComputerProcess and Programa de Computador Entidade define ComputerProcess

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: