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 835-837
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 833-833	O conceito Fisico e' completamente decomposto em Objeto + Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	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 816-816	O conceito Entidade e' completamente decomposto em Fisico + Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1304-1304	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 846-846	Objeto e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6121-6121	PhysicalSystem e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	english_format.kif 830-830
No TPTP formula. May not be expressible in strict first order.	french_format.kif 490-490
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 24-24
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 26-26
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2175-2175
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 27-27
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 511-511
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 27-27

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8468-8468	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 6112-6112	O argumento numero 2 de abstractCounterpart e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7702-7702	O argumento numero 1 de altitude e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7703-7703	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 24181-24181	O argumento numero 1 de anniversary e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2120-2120	O argumento numero 3 de attitudeForObject e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8389-8389	O argumento numero 1 de cooccur e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8390-8390	O argumento numero 2 de cooccur e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3817-3817	O argumento numero 1 de courseWRTCompassNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3818-3818	O argumento numero 2 de courseWRTCompassNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3785-3785	O argumento numero 1 de courseWRTMagneticNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3786-3786	O argumento numero 2 de courseWRTMagneticNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3722-3722	O argumento numero 1 de courseWRTTrueNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3723-3723	O argumento numero 2 de courseWRTTrueNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8544-8544	O argumento numero 1 de date e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Government.kif 2555-2555	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 978-978	O argumento numero 1 de dateEstablished e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7680	O argumento numero 1 de distance e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7681-7681	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 5428-5428	O argumento numero 1 de flows e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5429-5429	O argumento numero 2 de flows e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3945-3945	O argumento numero 1 de hasPurpose e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3961-3961	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 29963-29972	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 7960-7967	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 8249-8256	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 12984-12997	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.	Mid-level-ontology.kif 25580-25585	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 839-844	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 26594-26602	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 26586-26588	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 15872-15877	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 12970-12982	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: