TreeView Knowledge Base Browser - Currency

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Currency

Currency(currency)

cash, currency, hard_cash, hard_currency, money, peag, wampum, wampumpeag

appearance as argument number 1

(documentation Currency ChineseLanguage "这是某些 Nation 国家官方货币的任何元素。这包括 CurrencyBill 和 CurrencyCoin。")	chinese_format.kif 3573-3574
(documentation Currency EnglishLanguage "Any element of the official currency of some Nation. This covers both CurrencyBills and CurrencyCoins.")	Merge.kif 15535-15536
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Deutschemarknotes.png")	pictureList.kif 3838-3838
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg")	pictureList.kif 3841-3841
(externalImage Currency "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ money/ cash.png")	pictureList.kif 326-326
(partition Currency CurrencyBill CurrencyCoin)	Mid-level-ontology.kif 3557-3557	Currency is exhaustively partitioned into currency bill and currency coin
(subclass Currency FinancialInstrument)	Merge.kif 15534-15534	Currency is a subclass of financial instrument

appearance as argument number 2

(subclass CurrencyBill Currency)	Mid-level-ontology.kif 3556-3556	Currency bill is a subclass of currency
(subclass CurrencyCoin Currency)	Mid-level-ontology.kif 3568-3568	Currency coin is a subclass of currency
(termFormat ChineseLanguage Currency "货币")	domainEnglishFormat.kif 18045-18045
(termFormat ChineseTraditionalLanguage Currency "貨幣")	domainEnglishFormat.kif 18044-18044
(termFormat EnglishLanguage Currency "currency")	domainEnglishFormat.kif 18043-18043

appearance as argument number 3

(domainSubclass currencyValue 1 Currency)

Economy.kif 3618-3618

The number 1 argument of currency value is a subclass of currency

antecedent

(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	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
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely))	Mid-level-ontology.kif 1958-1967	If a transfer is an instance of vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
(=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE)))	Merge.kif 15538-15541	If a physical is an instance of currency, then there exists a currency measure such that value of the physical is the currency measure
(=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value)))	FinancialOntology.kif 3494-3497	If a physical is an instance of currency, then there exists a currency measure such that value of the physical is the currency measure

consequent

(=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY))))	Merge.kif 11654-11659	If a process is an instance of funding, then there exists an entity such that the entity is an instance of currency and the entity is a patient of the process
(=> (instance ?P CashPayment) (exists (?C) (and (instrument ?P ?C) (instance ?C Currency))))	Dining.kif 457-462	If a process is an instance of cash payment, then there exists an object such that the object is an instrument for the process and the object is an instance of currency
(=> (instance ?VD VendingMachine) (hasPurpose ?VD (exists (?T ?C ?P) (and (instance ?T FinancialTransaction) (instrument ?T ?VD) (patient ?T ?C) (instance ?C Currency) (patient ?T ?P) (instance ?P Product)))))	Mid-level-ontology.kif 1946-1956	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of financial transaction and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of currency and the third entity is a patient of the entity and the third entity is an instance of product
(=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O ?V) (and (instance ?V Vending) (instance ?H Human) (instance ?O Object) (objectTransferred ?V ?O) (instrument ?V ?VM) (origin ?V ?VM) (not (instance ?O Currency)) (destination ?V ?H)))))	Mid-level-ontology.kif 1931-1944	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vending and the entity is an instance of human and the other entity is an instance of object and the object transferred in the third entity is the other entity and the physical is an instrument for the third entity and the third entity originates at the physical and the other entity is not an instance of currency and the third entity ends up at the entity

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