UnitOfCurrency - Sigma 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 6297-6298
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 6295-6295	Unit of currency is a subclass of non composite unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3098-3098	Afghan afghani is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3158-3158	Albanian lek is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3162-3162	Algerian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3166-3166	Angolan kwanza is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3170-3170	Argentine austral is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3174-3174	Armenian dram is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3178-3178	Australian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3182-3182	Austrian schilling is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3186-3186	Azerbaijani manat is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3190-3190	Bahamian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3194-3194	Bahrainian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3198-3198	Bangladeshi taka is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3202-3202	Barbados dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3206-3206	Belarusian rubel is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3210-3210	Belgian franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3214-3214	Belize dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3218-3218	Benin franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3222-3222	Bermuda dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3226-3226	Bhutanese ngultrum is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3230-3230	Bolivian boliviano is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3234-3234	Botswana pula is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3238-3238	Brazilian real is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3101-3101	British pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3242-3242	Brunei dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3246-3246	Bulgarian lev is an instance of unit of currency

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 3830-3830	The number 2 argument of currency code is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3868-3868	The number 1 argument of currency exchange rate is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3854-3854	The number 1 argument of currency exchange rate in period is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3088-3088	The number 2 argument of currency type is an instance of unit of currency

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3065-3076	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3016-3027	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3029-3040	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3078-3089	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2022-2043	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2045-2066	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6375-6379	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of currency, then the physical quantity is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	If a process is an instance of auctioning and an agent is an instance of agent and another agent is an instance of agent and an object is an instance of object and an unit of measure is an instance of unit of currency and the object is a patient of the process and the agent bids a real number the unit of measure(s) for the object and the other agent bids another real number the unit of measure(s) for the object and the real number is greater than the other real number, then the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalizing and date of the process is the day and the process ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the liability account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3248-3264	If a process is an instance of downtick and a physical is a patient of the process and the time of existence of the process is equal to an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1206-1221	If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3852-3866	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and an entity is an instance of currency and the entity is a patient of the financial transaction and date of the financial transaction is a day, then there exists another real number such that the available cash of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3829-3841	If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and date of the financial transaction is a day, then there exists another real number such that the available balance of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	If an unit of measure is an instance of unit of currency and the reserve price of an auctioning is a real number the unit of measure(s) and the auctioning ends up at an agent, then there exist another real number and an object such that the agent bids the other real number the unit of measure(s) for the object and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3226-3242	If a process is an instance of uptick and a physical is a patient of the process and the time of existence of the process is equal to an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24776-24793	If a process is an instance of saving and an object is a patient of the process and an agent is an agent of the process, then there exist a real number, another real number and an entity such that the entity is an instance of unit of currency and value of the object is the real number the entity(s) holds during the beginning of the time of existence of the process and value of the object is the other real number the entity(s) holds during the end of the time of existence of the process and the agent possesses the object and the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8548-8562	If a process is an instance of bargain sale and an entity is a patient of the process and the entity is an instance of object, then there exist a real number, another real number,, , another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of unit of currency and the entity is price the real number the fourth entity(s) for the other entity holds during immediately before the time of existence of the process and the entity is price the other real number the fourth entity(s) for the third entity holds during the time of existence of the process and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	If renters of a kind of hotel function room can pay to use a kind of physical and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then there exist a real number and an unit of measure such that the object is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	If renters of an agent can pay to use a kind of physical and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then there exist a real number and an unit of measure such that the process is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the temporary residence or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3133-3157	If a process is an instance of butterfly spread, then there exist a financial instrument, another financial instrument,, , a third financial instrument,, , a fourth financial instrument,, , a real number,, , another real number,, , a third real number,, , a fourth real number and an unit of measure such that the financial instrument is an instance of call option and the other financial instrument is an instance of call option and the third financial instrument is an instance of call option and the fourth financial instrument is an instance of call option and the financial instrument is a subprocess of the process and the other financial instrument is a subprocess of the process and the third financial instrument is a subprocess of the process and the fourth financial instrument is a subprocess of the process and the unit of measure is an instance of unit of currency and the real number the unit of measure(s) is a strike price of the financial instrument and the other real number the unit of measure(s) is a strike price of the other financial instrument and the third real number the unit of measure(s) is a strike price of the third financial instrument and the fourth real number the unit of measure(s) is a strike price of the fourth financial instrument and the real number is less than the other real number and the real number is less than the third real number and the fourth real number is greater than the other real number and the fourth real number is greater than the other real number

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: