TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1489-1493
No TPTP formula. May not be expressible in strict first order.	Media.kif 1494-1494	WebSite e' uma sub-classe de DigitalData

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4676-4676	EBayWebSite e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3295-3295	IBookstore e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5600-5600	Othena e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3098-3098	Reddit e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2871-2871	Blog e' uma sub-classe de WebSite
No TPTP formula. May not be expressible in strict first order.	Media.kif 1512-1512	SocialNetworkingSite e' uma sub-classe de WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4610-4610	Toutiao e' uma sub-classe de WebSite
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2875-2875	Wiki e' uma sub-classe de WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4626-4626	YouTube e' uma sub-classe de WebSite
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65725-65725

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 983-983	O argumento numero 2 de SellersItemsFn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1018-1018	O argumento numero 2 de SellersOtherItemsFn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3366-3366	O argumento numero 2 de SiteWideNewBuyersFn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3418-3418	O argumento numero 2 de SiteWideNewRegistrationsFn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3465-3465	O argumento numero 2 de SiteWideNewSellersFn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 627-627	O argumento numero 2 de accountAtSite e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 185-185	O argumento numero 2 de advertisedOn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 734-734	O argumento numero 3 de browserID e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 177-177	O argumento numero 2 de categoryOf e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 895-895	O argumento numero 2 de confirmedRegisteredUser e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1707-1707	O argumento numero 2 de eCommerceSite e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3517-3517	O argumento numero 2 de firstTimeBuyers e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3565-3565	O argumento numero 2 de firstTimeSellers e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1968-1968	O argumento numero 2 de homePage e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 119-119	O argumento numero 2 de hostedOn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3613-3613	O argumento numero 2 de newRegisteredUsers e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-393	O argumento numero 2 de prohibitedItem e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 856-856	O argumento numero 2 de registeredUser e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2233-2233	O argumento numero 2 de siteCatalog e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1069-1069	O argumento numero 2 de underageUser e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2164-2164	O argumento numero 2 de userDatabase e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1165-1165	O argumento numero 3 de visitorParameter e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1245-1245	O argumento numero 3 de watchingListings e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 823-823	O argumento numero 3 de webPurchases e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 917-917	O argumento numero 3 de webSales e' uma instancia de WebSite

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.	UXExperimentalTerms.kif 992-1008	AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao WebListing WebListing e' uma instancia de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao SellersItemsFn AutonomousAgent and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de WebListing Ponto no tempo e' uma instancia de Ponto no tempo listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao Fisico Fisico Fisico e' uma instancia de WebListing Fisico e' membro de SellersItemsFn AutonomousAgent and WebSite Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' igual a WebListing Fisico e' membro de Colecao Fisico e' membro de Colecao Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' uma instancia de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and Ponto no tempo e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Comprar Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Comprar Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewBuyersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao Fisico Fisico e' uma instancia de Humano Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal_BEFORE Intervalo Temporal_DURING Intervalo Temporal_DURING e' uma instancia de Intervalo Temporal Intervalo Temporal_DURING acontece durante Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal Fisico e' membro de Colecao Colecao e' igual a SiteWideNewRegistrationsFn Intervalo Temporal and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Vender Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Vender Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewSellersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 39-45	AutonomousAgent e' uma instancia de WebListing WebSite e' uma instancia de WebSite hostedOn AutonomousAgent and WebSite creator AutonomousAgent and Humano webSeller Humano and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	Objeto Corpuscular e' uma instancia de DigitalPost AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto Corpuscular e' um componente de WebSite creator AutonomousAgent and Objeto Corpuscular registeredUser AutonomousAgent and WebSite Objeto Corpuscular tem por fim Entidade Entidade e' uma instancia de Disseminar Entidade e' um agente de AutonomousAgent Objeto Corpuscular e' um patient de Entidade WebSite e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2065-2076	Objeto Corpuscular e' uma instancia de ViewItemPage WebSite e' uma instancia de WebSite Objeto Corpuscular e' um componente de WebSite Entidade WebListing Entidade e' uma instancia de Objeto WebListing e' uma instancia de WebListing WebListing e' um componente de Objeto Corpuscular hostedOn WebListing and WebSite Entidade e' um patient de WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 86-98	listingBuyer WebListing and AutonomousAgent Entidade e' uma instancia de Objeto WebSite e' uma instancia de WebSite EntidadeECT e' um patient de WebListing hostedOn WebListing and WebSite Transacao Financeira Transacao Financeira e' uma instancia de Comprar Entidade e' um patient de Transacao Financeira eCommerceSite Transacao Financeira and WebSite Transacao Financeira e' um agente de AutonomousAgent
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

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de WebListing o numero de instancias dentro de Entidade Entidade and Entidade a classe descrita por Entidade + o numero de instancias dentro de Colecao e' igual a BidCountFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	Objeto e' uma instancia de Transacao Financeira BusinessToBusiness e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount e' um atributo de UserAccount BusinessAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	Objeto e' uma instancia de Transacao Financeira BusinessToConsumer e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount e' um atributo de UserAccount ConsumerAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	Objeto e' uma instancia de Transacao Financeira ConsumerToConsumer e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite ConsumerAccount e' um atributo de UserAccount ConsumerAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	Intervalo Temporal e' uma instancia de WatchItem Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal watchingListings AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 209-218	Processo e' uma instancia de InsertionFee WebSite AutonomousAgent and WebListing WebSite e' uma instancia de WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de WebListing hostedOn WebListing and WebSite AutonomousAgent possui WebSite Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	Intervalo Temporal e' uma instancia de ListOnSite Objeto Entidade, Intervalo Temporal, Intervalo Temporal and AutonomousAgent Objeto e' uma instancia de WebSite Entidade e' uma instancia de WebListing Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal hostedOn Entidade and Objeto vale durante Intervalo Temporal hostedOn Entidade and Objeto vale durante Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 32-37	WebListing e' uma instancia de WebListing WebSite WebSite e' uma instancia de WebSite hostedOn WebListing and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1140-1151	Colecao e' uma instancia de VisitorProfile AutonomousAgent WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Formula Formula e' membro de Colecao Formula e' uma instancia de Formula visitorParameter AutonomousAgent, Formula and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2126-2131	Objeto Corpuscular e' uma instancia de WebStore Objeto Corpuscular Objeto Corpuscular e' uma instancia de WebSite Objeto Corpuscular e' um componente de Objeto Corpuscular

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: