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 est une sous-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2883-2883	AfghanAfghani est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2943-2943	AlbanianLek est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2947-2947	AlgerianDinar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2951-2951	AngolanKwanza est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2955-2955	ArgentineAustral est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2959-2959	ArmenianDram est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2963-2963	AustralianDollar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2967-2967	AustrianSchilling est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2971-2971	AzerbaijaniManat est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2975-2975	BahamianDollar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2979-2979	BahrainianDinar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2983-2983	BangladeshiTaka est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2987-2987	BarbadosDollar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2991-2991	BelarusianRubel est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2995-2995	BelgianFranc est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2999-2999	BelizeDollar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3003-3003	BeninFranc est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3007-3007	BermudaDollar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3011-3011	BhutaneseNgultrum est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3015-3015	BolivianBoliviano est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3019-3019	BotswanaPula est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3023-3023	BrazilianReal est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2886-2886	BritishPound est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3027-3027	BruneiDollar est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3031-3031	BulgarianLev est une instance 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	Le nombre 2 argument de currencyCode est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3653-3653	Le nombre 1 argument de currencyExchangeRate est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3639-3639	Le nombre 1 argument de currencyExchangeRateInPeriod est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2873-2873	Le nombre 2 argument de currencyType est une instance de UnitOfCurrency

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6388-6392	Nombre r�el unit� de mesure(s) est quantit� physique unit� de mesure est une instance de UnitOfCurrency quantit� physique est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processus est une instance de Auctioning AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent objet est une instance de objet unit� de mesure est une instance de UnitOfCurrency objet est un patient de processus bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction point temporel and nombre r�el financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el agreementEffectiveDate FinancialAccount and point temporel la date de financial transaction est point temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency currentAccountBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el processus processus est une instance de Penalty la date de processus est jour processus aboutit � CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount est une instance de LiabilityAccount minimumPayment LiabilityAccount, nombre r�el unit� de mesure(s) and MonthDuration unit� de mesure est une instance de UnitOfCurrency processus interval temporel interval temporel est une instance de mois processus aboutit � CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est moins que nombre r�el processus processus est une instance de Penalty processus aboutit � CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	Processus est une instance de Downtick physique est un patient de processus temps d'existence de processus est AutonomousAgent unit� de mesure est une instance de UnitOfCurrency price physique, nombre r�el unit� de mesure(s) and AutonomousAgent processus AutonomousAgent and nombre r�el processus est une instance de StockMarketTransaction physique est un patient de processus temps d'existence de processus est AutonomousAgent AutonomousAgent rencontre AutonomousAgent price physique, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount est une instance de ProfitSharingPlan accountHolder FinancialAccount and agent cognitif AutonomousAgent emploie agent cognitif profit financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction est un agent de AutonomousAgent nombre r�el nombre r�elAY nombre r�elAY est une instance de financial transaction transactionAmount nombre r�elAY and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el nombre r�elAY aboutit � FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Financial transaction est une instance de financial transaction financial transaction a pour origine CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency entit� est une instance de Currency entit� est un patient de financial transaction la date de financial transaction est jour nombre r�el availableCash FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Financial transaction est une instance de financial transaction financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency la date de financial transaction est jour nombre r�el availableBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	Unit� de mesure est une instance de UnitOfCurrency reservePrice Auctioning and nombre r�el unit� de mesure(s) Auctioning aboutit � AutonomousAgent nombre r�el objet bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3212-3228	Processus est une instance de Uptick physique est un patient de processus temps d'existence de processus est AutonomousAgent unit� de mesure est une instance de UnitOfCurrency price physique, nombre r�el unit� de mesure(s) and AutonomousAgent processus AutonomousAgent and nombre r�el processus est une instance de StockMarketTransaction physique est un patient de processus temps d'existence de processus est AutonomousAgent AutonomousAgent rencontre AutonomousAgent price physique, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	productPrice entit�, nombre r�el unit� de mesure(s) and agent cognitif unit� de mesure est une instance de UnitOfCurrency publishedPrice entit�, nombre r�el unit� de mesure(s), agent cognitif and PricingScheme validFor PricingScheme and AutonomousAgent entit� est une instance de entit� processus est une instance de acheter AutonomousAgent est une instance imm�diate de AutonomousAgent processus est un agent de AutonomousAgent processus a pour origine agent cognitif nombre r�el est moins que nombre r�el l'argument transactionAmount processus and nombre r�el a la force modale de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim est un attribut de AutonomousAgent valeur de ce que poss�de AutonomousAgent est mesure de devise l'argument entit� entit�, entit�, entit� and entit� entit� est une instance de Zakat entit� est une instance de ann�e entit� prend place pendant temps d'existence de AutonomousAgent FullyFormed est un attribut de AutonomousAgent pendant entit� entit� est un agent de AutonomousAgent entit� est un patient de entit� valeur de entit� est entit� entit�(s) entit� est une instance de UnitOfCurrency entit� est plus grand que mesure de devise + 0.025 a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23828-23845	Processus est une instance de Saving objet est un patient de processus processus est un agent de AutonomousAgent nombre r�el nombre r�el and entit� entit� est une instance de UnitOfCurrency valeur de objet est nombre r�el entit�(s) pendant le d�but de temps d'existence de processus valeur de objet est nombre r�el entit�(s) pendant la fin de temps d'existence de processus AutonomousAgent poss�de objet nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7848-7862	Processus est une instance de BargainSale entit� est un patient de processus entit� est une instance de objet nombre r�el nombre r�el, entit�, entit� and entit� entit� est une instance de UnitOfCurrency price entit�, nombre r�el entit�(s) and entit� pendant immediatement avant temps d'existence de processus price entit�, nombre r�el entit�(s) and entit� pendant temps d'existence de processus nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet nombre r�el unit� de mesure price objet, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	paidPropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus nombre r�el unit� de mesure price processus, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	paidRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain processus est situ� � TemporaryResidence objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus processusRICE unit� de mesure price objet, processusRICE unit� de mesure(s) and humain unit� de mesure est une instance de UnitOfCurrency processusRICE est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	paidRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence processusRICE unit� de mesure price processus, processusRICE unit� de mesure(s) and humain unit� de mesure est une instance de UnitOfCurrency processusRICE est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3119-3143	Processus est une instance de ButterflySpread FinancialInstrument FinancialInstrument, FinancialInstrument, FinancialInstrument, nombre r�el, nombre r�el, nombre r�el, nombre r�el and unit� de mesure FinancialInstrument est une instance de CallOption FinancialInstrument est une instance de CallOption FinancialInstrument est une instance de CallOption FinancialInstrument est une instance de CallOption FinancialInstrument est un sous-processus de processus FinancialInstrument est un sous-processus de processus FinancialInstrument est un sous-processus de processus FinancialInstrument est un sous-processus de processus unit� de mesure est une instance de UnitOfCurrency strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el nombre r�el est moins que nombre r�el nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el

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: