TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2422-2423
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6310-6311
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1110-1112
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6308-6308	UnitOfCurrency e' uma sub-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2883-2883	AfghanAfghani e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2943-2943	AlbanianLek e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2947-2947	AlgerianDinar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2951-2951	AngolanKwanza e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2955-2955	ArgentineAustral e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2959-2959	ArmenianDram e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2963-2963	AustralianDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2967-2967	AustrianSchilling e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2971-2971	AzerbaijaniManat e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2975-2975	BahamianDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2979-2979	BahrainianDinar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2983-2983	BangladeshiTaka e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2987-2987	BarbadosDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2991-2991	BelarusianRubel e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2995-2995	BelgianFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2999-2999	BelizeDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3003-3003	BeninFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3007-3007	BermudaDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3011-3011	BhutaneseNgultrum e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3015-3015	BolivianBoliviano e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3019-3019	BotswanaPula e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3023-3023	BrazilianReal e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2886-2886	BritishPound e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3027-3027	BruneiDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3031-3031	BulgarianLev e' uma instancia de UnitOfCurrency

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3615-3615	O argumento numero 2 de currencyCode e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3653-3653	O argumento numero 1 de currencyExchangeRate e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3639-3639	O argumento numero 1 de currencyExchangeRateInPeriod e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2873-2873	O argumento numero 2 de currencyType e' uma instancia de UnitOfCurrency

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
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 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.	FinancialOntology.kif 686-699	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira Ponto no tempo and Numero Real Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real agreementEffectiveDate FinancialAccount and Ponto no tempo a data de Transacao Financeira e' Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency currentAccountBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty a data de Processo e' Dia Processo termina em CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount e' uma instancia de LiabilityAccount minimumPayment LiabilityAccount, Numero Real Unidade de Medida(s) and MonthDuration Unidade de Medida e' uma instancia de UnitOfCurrency Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Mes Processo termina em CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	Processo e' uma instancia de Downtick Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Processo AutonomousAgent and Numero Real Processo e' uma instancia de StockMarketTransaction Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent AutonomousAgent encontra AutonomousAgent price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount e' uma instancia de ProfitSharingPlan accountHolder FinancialAccount and Agente Cognitivo AutonomousAgent emprega Agente Cognitivo profit Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira e' um agente de AutonomousAgent Numero Real Numero RealAY Numero RealAY e' uma instancia de Transacao Financeira transactionAmount Numero RealAY and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Numero RealAY termina em FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Entidade e' uma instancia de Currency Entidade e' um patient de Transacao Financeira a data de Transacao Financeira e' Dia Numero Real availableCash FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency a data de Transacao Financeira e' Dia Numero Real availableBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	Unidade de Medida e' uma instancia de UnitOfCurrency reservePrice Auctioning and Numero Real Unidade de Medida(s) Auctioning termina em AutonomousAgent Numero Real Objeto bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3212-3228	Processo e' uma instancia de Uptick Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Processo AutonomousAgent and Numero Real Processo e' uma instancia de StockMarketTransaction Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent AutonomousAgent encontra AutonomousAgent price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	productPrice Entidade, Numero Real Unidade de Medida(s) and Agente Cognitivo Unidade de Medida e' uma instancia de UnitOfCurrency publishedPrice Entidade, Numero Real Unidade de Medida(s), Agente Cognitivo and PricingScheme validFor PricingScheme and AutonomousAgent Entidade e' uma instancia de Entidade Processo e' uma instancia de Comprar AutonomousAgent e' uma instancia imediata de AutonomousAgent Processo e' um agente de AutonomousAgent Processo tem como origem Agente Cognitivo Numero Real e' menos que Numero Real o argumento transactionAmount Processo and Numero Real tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23828-23845	Processo e' uma instancia de Saving Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfCurrency o valor de Objeto e' Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo o valor de Objeto e' Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo AutonomousAgent possui Objeto Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7848-7862	Processo e' uma instancia de BargainSale Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Numero Real Numero Real, Entidade, Entidade and Entidade Entidade e' uma instancia de UnitOfCurrency price Entidade, Numero Real Entidade(s) and Entidade vale durante imediatemente antes de tempo de existencia de Processo price Entidade, Numero Real Entidade(s) and Entidade vale durante tempo de existencia de Processo Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto Numero Real Unidade de Medida price Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	paidPropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo Numero Real Unidade de Medida price Processo, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Processo e' situado em TemporaryResidence Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo ProcessoRICE Unidade de Medida price Objeto, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence ProcessoRICE Unidade de Medida price Processo, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3119-3143	Processo e' uma instancia de ButterflySpread FinancialInstrument FinancialInstrument, FinancialInstrument, FinancialInstrument, Numero Real, Numero Real, Numero Real, Numero Real and Unidade de Medida FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' um sub-processo de Processo FinancialInstrument e' um sub-processo de Processo FinancialInstrument e' um sub-processo de Processo FinancialInstrument e' um sub-processo de Processo Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Numero Real e' menos que Numero Real Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real

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: