TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1550-1551
No TPTP formula. May not be expressible in strict first order.	Merge.kif 834-836
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 120-121
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 139-140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	O conceito Fisico e' completamente decomposto em Objeto + Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 831-831	Fisico e' uma sub-classe de Entidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 815-815	O conceito Entidade e' completamente decomposto em Fisico + Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1260-1260	Colecao e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1303-1303	ContentBearingPhysical e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 41-41	FinancialAsset e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 845-845	Objeto e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6116-6116	PhysicalSystem e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1621-1621	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 814-814	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	english_format.kif 830-830	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	french_format.kif 490-490	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 24-24	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 26-26	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2175-2175	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 442-442	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 27-27	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 57-57	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 511-511	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 27-27	Processo e' uma sub-classe de Fisico

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8514-8514	O argumento numero 1 de WhenFn e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4222-4222	O argumento numero 1 de WhereFn e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6107-6107	O argumento numero 2 de abstractCounterpart e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7748-7748	O argumento numero 1 de altitude e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7749-7749	O argumento numero 2 de altitude e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24501-24501	O argumento numero 1 de anniversary e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2118-2118	O argumento numero 3 de attitudeForObject e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8435-8435	O argumento numero 1 de cooccur e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8436-8436	O argumento numero 2 de cooccur e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3805-3805	O argumento numero 1 de courseWRTCompassNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3806-3806	O argumento numero 2 de courseWRTCompassNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3773-3773	O argumento numero 1 de courseWRTMagneticNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3774-3774	O argumento numero 2 de courseWRTMagneticNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3710-3710	O argumento numero 1 de courseWRTTrueNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3711-3711	O argumento numero 2 de courseWRTTrueNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	O argumento numero 1 de date e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Government.kif 2517-2517	O argumento numero 1 de dateDissolved e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 971-971	O argumento numero 1 de dateEstablished e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7726-7726	O argumento numero 1 de distance e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7727-7727	O argumento numero 2 de distance e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Law.kif 178-178	O argumento numero 2 de evidence e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5404-5404	O argumento numero 1 de flows e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5405-5405	O argumento numero 2 de flows e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3946-3946	O argumento numero 1 de hasPurpose e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3962-3962	O argumento numero 1 de hasPurposeForAgent e' uma instancia de Fisico

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.	Mid-level-ontology.kif 30252-30261	buys Agente Cognitivo, AutonomousAgent and Entidade Entidade e' uma instancia de Fisico Processo Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8006-8013	Entidade Fisico and Fisico vale durante Posicao Temporal Fisico e' uma instancia de Fisico Fisico e' uma instancia de Fisico Fisico existe durante Posicao Temporal Fisico existe durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo tem como origem Agente Cognitivo publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validPaymentType PricingScheme and Payment o argumento PaymentMENT PaymentMENT e' uma instancia de Payment PaymentMENT e' um sub-processo de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1416-1425	Bidding e' uma instancia de Bidding Objeto e' uma instancia de Fisico Medida de Divisa e' uma instancia de Medida de Divisa AutonomousAgent e' uma instancia de AutonomousAgent objectOfBid Bidding and Objeto amountOfBid Bidding and Medida de Divisa Bidding e' um agente de AutonomousAgent bidPrice Objeto, Medida de Divisa and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	Objeto Corpuscular e' uma instancia de ViewItemPage Processo e' uma instancia de WebListing Processo e' um componente de Objeto Corpuscular Entidade e' um patient de Processo Entidade e' uma instancia de Fisico Processo Processo and ProcessoCONTENT Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8295-8302	Entidade e' uma instancia de Predicado Binario Entidade e' uma instancia de Relacao Espacial Fisico e' uma instancia de Fisico Fisico e' uma instancia de Fisico Entidade Fisico and Fisico tempo de existencia de Fisico engloba tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13040-13053	Processo e' uma instancia de Searching Fisico e' um patient de Processo Fisico e' uma instancia de Fisico Objeto AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto Fisico e' situado em Objeto Processo tem finalidade AutonomousAgent sabe Fisico e' situado em Objeto para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Fisico o argumento Entidade Entidade Entidade e' uma instancia de Entidade Entidade e' uma instancia de Vender Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validFor PricingScheme and AutonomousAgent Entidade e' uma instancia de AutonomousAgent o argumento Entidade e' uma instancia de Comprar Entidade e' um agente de Entidade Entidade tem como origem Agente Cognitivo Entidade e' um patient de Entidade transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validityPeriod PricingScheme and Intervalo Temporal o argumento Entidade e' uma instancia de Vender Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7639-7644	Fisico tem um atributo de Atributo de Forma Fisico e' uma instancia de Fisico Atributo de Forma e' uma instancia de Atributo de Forma shape Fisico and Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Merge.kif 838-843	Fisico e' uma instancia de Fisico Objeto Posicao Temporal Fisico e' situado em Objeto Fisico existe durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1066-1070	Atributo e' um atributo de Objeto Atributo e' uma instancia de AmbienceAttribute Objeto e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26890-26898	Historical e' um atributo de Objeto Objeto e' uma instancia de Cidade Objeto Objeto e' uma instancia de Fisico Historical e' um atributo de Objeto eventLocated Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Transacao Financeira Sequencia Simbolica Entidade o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BoughtItemsFn Colecao
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 2922-2940	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de WebListing Sequencia Simbolica Entidade, Entidade and Sequencia Simbolica o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BidCountFn Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2715-2719	Entidade e' uma instancia de Atitude em relacao a um Objeto Entidade Entidade and Entidade Entidade e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26882-26884	Historical e' um atributo de Objeto Objeto e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	Processo e' uma instancia de FinalValueFee WebListing Transacao Financeira, AutonomousAgent, Entidade and WebSite WebListing e' uma instancia de WebListing Transacao Financeira e' uma instancia de Vender AutonomousAgent e' uma instancia de AutonomousAgent Entidade e' uma instancia de Fisico WebListing e' uma instancia de WebListing Entidade e' um patient de WebListing Entidade e' um patient de Transacao Financeira Transacao Financeira causa Processo Processo e' um agente de AutonomousAgent hostedOn WebListing and WebSite AutonomousAgent possui WebSite eCommerceSite Transacao Financeira and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15924-15929	Entidade e' uma instancia de RepresentationalArtWork Entidade Entidade e' uma instancia de Fisico Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13026-13038	Processo e' uma instancia de Searching AutonomousAgent Fisico and Objeto AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Fisico e' uma instancia de Fisico Fisico e' um patient de Processo Objeto e' uma instancia de Objeto Fisico e' situado em Objeto Processo tem finalidade AutonomousAgent sabe Fisico e' situado em Objeto para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 943-948	Entidade e' uma instancia de View Entidade Entidade e' uma instancia de Fisico Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	siteCatalog Database and WebSite Objeto Colecao and Sequencia Simbolica Colecao e' uma instancia de Colecao Objeto e' uma &parte de Database Objeto define Colecao Objeto Objeto e' membro de Colecao Objeto e' uma instancia de Fisico Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role patient

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: