TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1558-1559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	AutonomousAgent e' uma sub-classe de Objeto

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3714-3714	Furniture e' disjunto de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6711-6711	O contra-dominio de StreetAddressFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16173-16173	CommercialAgent e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	Area Geopolitica e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16224-16224	Grupo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	ITAgent e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	Organismo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16610-16610	Organizacao e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	Agente Sentiente e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64496-64496
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	O argumento numero 1 de AbortedFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1685-1685	O argumento numero 1 de ElectionFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1321-1321	O argumento numero 1 de ExecutiveBranchFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3697-3697	O argumento numero 1 de FiscalYearFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3723-3723	O argumento numero 1 de FiscalYearStartingFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4274-4274	O argumento numero 1 de PropertyFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	O argumento numero 1 de SellersItemsFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1016-1016	O argumento numero 1 de SellersOtherItemsFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7792-7792	O argumento numero 1 de WealthFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1660-1660	O argumento numero 2 de achievement e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 596-596	O argumento numero 1 de activityCapability e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2434-2434	O argumento numero 2 de agent e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3423-3423	O argumento numero 2 de agentName e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2235-2235	O argumento numero 1 de agentOperatesInArea e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23208-23208	O argumento numero 2 de alias e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 150-150	O argumento numero 2 de appointedPosition e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22928-22928	O argumento numero 1 de areaOfResponsibility e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23479-23479	O argumento numero 2 de arrested e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	O argumento numero 3 de askPrice e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2424-2424	O argumento numero 1 de associateInOrganization e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2435-2435	O argumento numero 1 de associateWithStatus e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2126-2126	O argumento numero 2 de attitudeForFormula e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2119-2119	O argumento numero 2 de attitudeForObject e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15456-15456	O argumento numero 1 de authors e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22913-22913	O argumento numero 2 de benefits e' uma instancia de AutonomousAgent

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.	Government.kif 1774-1779	MemberFn Organizacao e' um atributo de Objeto Objeto e' uma instancia de AutonomousAgent Organizacao e' uma instancia de Organizacao Objeto e' membro de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	AutonomousAgent e' uma instancia de AutonomousAgent Motionless e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 1700-1704	AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de ElectionFn AutonomousAgent Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1767-1772	Objeto e' uma instancia de AutonomousAgent Organizacao e' uma instancia de Organizacao Objeto e' membro de Organizacao MemberFn Organizacao e' um atributo de Objeto
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.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent e' uma instancia de AutonomousAgent ElectionFn AutonomousAgent e' uma sub-classe de Election AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	Processo e' uma instancia de AddToCart Agente Cognitivo e' uma instancia de AutonomousAgent Entidade e' uma instancia de Objeto Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Comprar Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processo e' uma instancia de Auctioning AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de Objeto Unidade de Medida e' uma instancia de UnitOfCurrency Objeto e' um patient de Processo bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11656-11666	Processo e' uma instancia de Mudanca de Dono Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de AutonomousAgent Entidade e' uma instancia de AutonomousAgent Entidade e' um patient de Processo Objeto possui Entidade vale durante o comeco de tempo de existencia de Processo Entidade possui Entidade vale durante o fim de tempo de existencia de Processo
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 4357-4374	Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent Experimenting e' uma instancia de Experimenting treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta Processo exclusiveEvent Experimenting and Processo ExperimentingERIMENTER ExperimentingERIMENTER e' uma instancia de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER acredita que o argumento Processo causa Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11685	Processo e' uma instancia de Dar Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Obter Processo e' um agente de AutonomousAgent Processo tem como origem AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Objeto e' uma instancia de Objeto Objeto e' uma instancia de WebListing AutonomousAgent e' uma instancia de AutonomousAgent ForSaleByOwner e' um atributo de Objeto AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 2501-2508	Processo e' uma instancia de Juntar-se a uma Organizacao AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent Colecao e' um patient de Processo Processo e' uma instancia de Organizacao AutonomousAgent e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	Objeto e' uma instancia de WebListing Processo e' uma instancia de Objeto Agente Cognitivo e' uma instancia de AutonomousAgent AuctionAttribute e' um atributo de Objeto Objeto e' um patient de Processo creator Agente Cognitivo and Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Auctioning Processo e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 1447-1453	Organizacao e' uma instancia de AutonomousAgent leader Organizacao and Humano Posicao e' uma instancia de Posicao Humano ocupa a posicao de Posicao Organizacao leaderPosition Organizacao and Posicao
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.	Government.kif 1478-1485	Humano e' uma instancia de Humano Posicao e' uma instancia de Posicao Organizacao e' uma instancia de AutonomousAgent leaderPosition Organizacao and Posicao Humano ocupa a posicao de Posicao Organizacao leader Organizacao and Humano
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	AutonomousAgent e' uma instancia de AutonomousAgent Ano e' uma sub-classe de Ano FiscalYearStartingFn AutonomousAgent and Ano e' uma instancia de FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Comprar Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_PURCHASE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_PURCHASE_AMOUNT GMBFn Colecao e' igual a Entidade_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	Processo e' uma instancia de ViewItemRequest Processo e' uma instancia de AccessingWebPage Objeto Corpuscular e' uma instancia de ViewItemPage AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de Promover Processo e' um sub-processo de Processo Objeto Corpuscular e' um componente de WebListing Processo termina em Objeto Corpuscular Processo e' um agente de AutonomousAgent viewedListing AutonomousAgent and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Vender Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_SALE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_SALE_AMOUNT GMVFn Colecao e' igual a Entidade_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP controlGroup Entidade_GROUP and Experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30223-30236	Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite Objeto WebSite_OWNER Objeto e' uma instancia de Database WebSite_OWNER e' uma instancia de AutonomousAgent WebSite_OWNER possui WebSite WebSite_OWNER possui Objeto UserAccount e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	firstTimeBuyers Intervalo Temporal, WebSite and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	firstTimeSellers Intervalo Temporal, WebSite and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	Processo e' uma instancia de Auctioning Objeto e' uma instancia de Objeto Objeto e' um patient de Processo AutonomousAgent Medida de Divisa AutonomousAgent e' uma instancia de AutonomousAgent Medida de Divisa e' uma instancia de Medida de Divisa bidPrice Objeto, Medida de Divisa and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23458-23462	AchievingControl e' uma instancia de Capturing controlled AchievingControl and Objeto Objeto e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	Processo e' uma instancia de Commenting Entidade e' uma instancia de Processo Entidade e' um patient de Processo AutonomousAgent Processo and Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Speaking Processo e' uma instancia de Looking Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent Experimenting e' uma instancia de Experimenting treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta Processo exclusiveEvent Experimenting and Processo ExperimentingERIMENTER ExperimentingERIMENTER e' uma instancia de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER acredita que o argumento Processo causa Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16228-16232	Colecao e' uma instancia de Grupo Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent
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 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.	Media.kif 895-901	Entidade e' uma instancia de Logo Entidade define Entidade Entidade e' uma instancia de AutonomousAgent Entidade e' uma instancia de Produto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16631-16635	Colecao e' uma instancia de Organizacao Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2426-2435	Entidade e' uma instancia de SearchQuery Processo e' uma instancia de SearchAttempt Entidade define Processo AutonomousAgent Entidade AutonomousAgent e' uma instancia de AutonomousAgent Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	Objeto e' uma instancia de Comprar CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto Objeto AutonomousAgent, AutonomousAgent_LOCATION and Objeto_LOCATION AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de AutonomousAgent Objeto e' um agente de AutonomousAgent Objeto tem como origem Objeto AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica Objeto_LOCATION e' uma instancia de Area Geopolitica Objeto e' situado em Objeto_LOCATION AutonomousAgent e' situado em AutonomousAgent_LOCATION AutonomousAgent_LOCATION e' igual a Objeto_LOCATION
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 1822-1839	Objeto e' uma instancia de Vender CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto AutonomousAgent Fisico, Fisico_LOCATION and AutonomousAgent_LOCATION Fisico e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto termina em Fisico Objeto e' um agente de AutonomousAgent Fisico_LOCATION e' uma instancia de Area Geopolitica AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica AutonomousAgent e' situado em AutonomousAgent_LOCATION Fisico e' situado em Fisico_LOCATION Fisico_LOCATION e' igual a AutonomousAgent_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	newRegisteredUsers Intervalo Temporal, WebSite and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	subjectiveAttribute Entidade, Atributo and AutonomousAgent Atributo e' uma instancia de TimeAttribute Entidade e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout e' um atributo de Objeto Objeto e' uma instancia de Comodo Objeto Objeto and Objeto Objeto e' uma instancia de Regiao Objeto e' uma instancia de Regiao Objeto e' situado em Objeto Objeto e' situado em Objeto Objeto e' igual a Objeto Objeto e' Adjacent em relacao a Objeto Formula Formula Formula e' uma instancia de Processo Formula e' uma instancia de Processo Objeto tem por fim Formula Objeto tem por fim Formula Objeto e' uma instancia de AutonomousAgent Objeto e' situado em Objeto Objeto e' capaz de fazer Visao no role agent Objeto e' capaz de fazer Visao no role patient
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.	Hotel.kif 766-773	colocatedAgent AutonomousAgent and Atributo Relacional AutonomousAgent2 Objeto AutonomousAgent2 e' uma instancia de AutonomousAgent Atributo Relacional e' um atributo de AutonomousAgent2 AutonomousAgent e' situado em Objeto AutonomousAgent2 e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	exclusiveEvent Experimenting and Processo Processo Humano Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: