TreeView Knowledge Base Browser - WebPage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WebPage

WebPage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1475-1481
No TPTP formula. May not be expressible in strict first order.	Media.kif 1482-1482	WebPage e' uma sub-classe de DigitalData

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2027-2027	ProductDescriptionPage e' uma sub-classe de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2523-2523	SearchResultsPage e' uma sub-classe de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2058-2058	ViewItemPage e' uma sub-classe de WebPage
No TPTP formula. May not be expressible in strict first order.	Media.kif 1483-1483

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1966-1966	O argumento numero 1 de homePage e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4112-4112	O argumento numero 1 de treatedPage e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4393-4393	O argumento numero 1 de webPageURL e' uma instancia de WebPage

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao WebPage Processo and Experimenting WebPage e' uma instancia de WebPage Processo e' uma instancia de AccessingWebPage Experimenting e' uma instancia de Experimenting Processo e' um agente de Humano WebPage e' um patient de Processo treatedPage WebPage and Experimenting Processo e' membro de Colecao Colecao e' igual a QPViewsFn Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	Colecao e' uma instancia de Colecao Colecao e' uma instancia de Colecao Colecao e' uma sub-colecao de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Processo AutonomousAgent, Processo, Processo and Objeto AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Comprar Processo e' uma instancia de AccessingWebPage Objeto e' uma instancia de WebPage Processo e' membro de Colecao Processo termina em Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante tempo de existencia de Processo Objeto e' um instrumento para Processo Processo e' membro de Colecao Intervalo Temporal Entidade_IN_INTERVAL and Entidade_IN_INTERVAL SCRFn Colecao and Intervalo Temporal e' igual a o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL + o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4152-4157	treatedPageDefinition Experimenting and Formula WebPage e' uma instancia de WebPage Formula inclui uma referencia a WebPage treatedPage WebPage and Experimenting

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2483-2489	Entidade e' um membro de Lista Lista e' uma instancia de SRPResults Entidade e' uma instancia de WebListing Entidade e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2382-2386	Processo e' uma instancia de SEO Entidade e' um patient de Processo Entidade e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2141-2145	Colecao e' uma instancia de WebStore Fisico e' membro de Colecao Fisico e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 771-781	viewedItemList AutonomousAgent and Lista Processo e' um membro de Lista Processo e' uma instancia de AccessingWebPage Processo e' um agente de AutonomousAgent Entidade Entidade e' uma instancia de WebPage Processo termina em WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	browserID Identifier, WebBrowser and WebSite Sequencia Simbolica Processo, AutonomousAgent and ComputerProcess Sequencia Simbolica e' uma instancia de WebPage subString Sequencia Simbolica and WebSite Processo e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent programRunning ComputerProcess and WebBrowser ComputerProcess causa Processo Processo termina em Sequencia Simbolica Identifier define AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 125-131	hostedOn Sequencia Simbolica and WebSite Sequencia Simbolica Sequencia Simbolica e' uma instancia de WebPage subString Sequencia Simbolica and Sequencia Simbolica subString Sequencia Simbolica and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2667-2672	Processo e' uma instancia de DownloadingOverNetwork Entidade Entidade e' um patient de Processo Entidade e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1989-1994	Objeto Corpuscular e' uma instancia de WebPageModule Objeto Corpuscular Objeto Corpuscular e' uma instancia de WebPage Objeto Corpuscular e' um componente de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Media.kif 1495-1500	Objeto Corpuscular e' uma instancia de WebSite Objeto Corpuscular Objeto Corpuscular e' uma instancia de WebPage Objeto Corpuscular e' um componente de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4079-4085	qualifiedPageView WebPage and AccessingWebPage Experimenting Experimenting e' uma instancia de WebPage Experimenting e' um patient de AccessingWebPage treatedPage WebPage and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2173-2191	userDatabase Database and WebSite Objeto Colecao Colecao e' uma instancia de Colecao Objeto e' uma &parte de Database Objeto define Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent Processo Objeto Corpuscular Processo e' uma instancia de AccessingWebPage Objeto Corpuscular e' uma instancia de WebPage Page e' um patient de Processo Processo e' um agente de AutonomousAgent Objeto Corpuscular e' um componente de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1536-1544	viewedListing AutonomousAgent and WebListing Objeto Corpuscular Processo Objeto Corpuscular e' uma instancia de WebPage Processo e' uma instancia de AccessingWebPage WebListing e' um componente de Objeto Corpuscular Processo e' um agente de AutonomousAgent Processo termina em Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 434-441	webStoreAdvertisement Promover and WebStore Entidade Objeto Corpuscular Promover inclui uma referencia a Entidade Promover e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de WebPage Objeto Corpuscular e' membro de WebStore
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2953-2961	webVisitor AutonomousAgent and WebSite AutonomousAgentWS Objeto Corpuscular AutonomousAgentWS e' uma instancia de AccessingWebPage Objeto Corpuscular e' uma instancia de WebPage Objeto Corpuscular e' um componente de WebSite AutonomousAgentWS e' um agente de AutonomousAgent Objeto Corpuscular e' um patient de AutonomousAgentWS
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1218-1226	webVisitor AutonomousAgent and WebSite Processo Objeto Corpuscular Processo e' uma instancia de AccessingWebPage Objeto Corpuscular e' uma instancia de WebPage Objeto Corpuscular e' um patient de Processo Objeto Corpuscular e' um componente de WebSite Processo e' um agente de AutonomousAgent

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