TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2419-2421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6303-6306
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1107-1109
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6301-6301	Medida de Divisa e' uma sub-classe de Quantidade Constante

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3227-3227	O contra-dominio de ABPFn e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3272-3272	O contra-dominio de ASPFn e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3195-3195	O contra-dominio de AuctionGMBFn e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2949-2949	O contra-dominio de GMBFn e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2992-2992	O contra-dominio de GMVFn e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7793-7793	O contra-dominio de WealthFn e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 513-513	Interest e' uma sub-classe de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2107-2107	ShareUnit e' uma sub-classe de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1308-1308
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1833-1833
No TPTP formula. May not be expressible in strict first order.	french_format.kif 986-986
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 521-521
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 525-525
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2670-2670
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 938-938
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 527-527
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 561-561
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1007-1007
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 526-526

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3326-3326	O argumento numero 2 de afterTaxIncome e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 912-912	O argumento numero 2 de amountCharged e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 650-650	O argumento numero 2 de amountDue e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1448-1448	O argumento numero 2 de amountOfBid e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1509-1509	O argumento numero 2 de annualExpendituresOfArea e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1498-1498	O argumento numero 2 de annualExpendituresOfAreaInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2269-2269	O argumento numero 2 de annualExportTotal e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2575-2575	O argumento numero 2 de annualImportTotal e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1481-1481	O argumento numero 2 de annualRevenuesOfArea e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1470-1470	O argumento numero 2 de annualRevenuesOfAreaInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1486-1486	O argumento numero 2 de appraisedValue e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1927-1927	O argumento numero 2 de askPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3809-3809	O argumento numero 3 de availableBalance e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3832-3832	O argumento numero 3 de availableCash e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3346-3346	O argumento numero 2 de beforeTaxIncome e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1907-1907	O argumento numero 2 de bidPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4093-4093	O argumento numero 3 de buyingPowerAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1549-1549	O argumento numero 2 de capitalExpendituresOfArea e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1528-1528	O argumento numero 2 de capitalExpendituresOfAreaInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3471-3471	O argumento numero 2 de closingPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3368-3368	O argumento numero 2 de compensationPackage e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Dining.kif 119-119	O argumento numero 1 de corkageFee e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 792-792	O argumento numero 2 de creditLimit e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3872-3872	O argumento numero 2 de creditsPerPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3629-3629	O argumento numero 1 de currencyExchangePerUSDollar e' uma instancia de Medida de Divisa

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 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 3239-3259	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real Numero Real e' igual a GMBFn Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ABPFn Colecao e' igual a Numero Real + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real Numero Real e' igual a GMVFn Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ASPFn Colecao e' igual a Numero Real + Numero Inteiro

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6388-6392	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfCurrency Quantidade Fisica e' uma instancia de Medida de Divisa
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.	Catalog.kif 505-511	contractedRentalPrice Fisico, Funcao de Quantidade and Agreement Quantidade Fisica Quantidade Fisica Quantidade Fisica e' uma instancia de Medida de Divisa Quantidade Fisica e' uma instancia de Duracao Temporal Funcao de Quantidade e' igual a PerFn Quantidade Fisica and Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2104-2124	Processo e' uma instancia de CurrencyExchangeService Entidade Entidade, Entidade, Entidade, AutonomousAgent, Entidade, Entidade, Entidade and Entidade Processo e' um agente de AutonomousAgent Entidade e' igual a Entidade Entidade e' uma instancia de Medida de Divisa Entidade e' uma instancia de Medida de Divisa o valor de Entidade e' Entidade AutonomousAgent possui Entidade Entidade e' igual a Entidade Entidade(s) vale durante o comeco de tempo de existencia de Processo o valor de Entidade e' Entidade AutonomousAgent possui Entidade AutonomousAgent nao possui %n Entidade Entidade e' igual a Entidade Entidade(s) vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 459-465	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Quantidade Fisica Quantidade Fisica Quantidade Fisica e' uma instancia de Duracao Temporal Quantidade Fisica e' uma instancia de Medida de Divisa Funcao de Quantidade e' igual a PerFn Quantidade Fisica and Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 402-407	unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Quantidade Fisica Numero Real and Unidade de Medida Funcao de Quantidade e' igual a PerFn Quantidade Fisica and Numero Real Unidade de Medida(s) Quantidade Fisica e' uma instancia de Medida de Divisa

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: