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 6320-6321
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 6318-6318	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 3220-3220	Afghan afghani is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3280-3280	Albanian lek is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3284-3284	Algerian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3288-3288	Angolan kwanza is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3292-3292	Argentine austral is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3296-3296	Armenian dram is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3300-3300	Australian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3304-3304	Austrian schilling is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3308-3308	Azerbaijani manat is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3312-3312	Bahamian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3316-3316	Bahrainian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3320-3320	Bangladeshi taka is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3324-3324	Barbados dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3328-3328	Belarusian rubel is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3332-3332	Belgian franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3336-3336	Belize dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3340-3340	Benin franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3344-3344	Bermuda dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3348-3348	Bhutanese ngultrum is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3352-3352	Bolivian boliviano is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3356-3356	Botswana pula is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3360-3360	Brazilian real is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3223-3223	British pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3364-3364	Brunei dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3368-3368	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 3952-3952	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 3990-3990	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 3976-3976	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 3210-3210	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 3068-3079	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 3019-3030	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 3032-3043	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 3081-3092	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 2025-2046	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 2048-2069	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 6398-6402	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 688-701	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 703-716	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 761-777	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 3251-3267	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 1208-1223	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 3856-3870	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 3833-3845	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 3229-3245	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 25493-25510	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 9034-9048	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 879-905	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 573-593	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 3136-3160	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: