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 6296-6297
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 6294-6294	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 2899-2899	Afghan afghani is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2959-2959	Albanian lek is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2963-2963	Algerian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2967-2967	Angolan kwanza is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2971-2971	Argentine austral is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2975-2975	Armenian dram is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2979-2979	Australian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2983-2983	Austrian schilling is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2987-2987	Azerbaijani manat is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2991-2991	Bahamian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2995-2995	Bahrainian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2999-2999	Bangladeshi taka is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3003-3003	Barbados dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3007-3007	Belarusian rubel is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3011-3011	Belgian franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3015-3015	Belize dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3019-3019	Benin franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3023-3023	Bermuda dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3027-3027	Bhutanese ngultrum is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3031-3031	Bolivian boliviano is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3035-3035	Botswana pula is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3039-3039	Brazilian real is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2902-2902	British pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3043-3043	Brunei dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3047-3047	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 3631-3631	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 3669-3669	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 3655-3655	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 2889-2889	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 3064-3075	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 3015-3026	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 3028-3039	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 3077-3088	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 6374-6378	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 437-448	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 penalty 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 penalty 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 3247-3263	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 1192-1207	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 3851-3865	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 3828-3840	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 520-528	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 3225-3241	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 208-223	If a kind of entity costs between a real number an unit of measure(s) and another real number the unit of measure(s) from a cognitive agent and the unit of measure is an instance of unit of currency, then there exist a third real number, a function quantity and a pricing scheme such that the third real number is less than or equal to the other real number and the third real number is greater than or equal to the real number and the function quantity is equal to the third real number the unit of measure(s) and the price of a kind of entity from the cognitive agent according to the pricing scheme is the function quantity or the cognitive agent sells the kind of entity for the function quantity or the unit price charged the cognitive agent under the pricing scheme for the function quantity is the kind of entity
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 23926-23943	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 7815-7829	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 3132-3156	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 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: