Currency - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - 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 15823-15824
(externalImage Currency "http://articulatesoftware.com/SUMOpictures/money/ cash.png")	pictureList.kif 326-326
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Deutschemarknotes.png")	pictureList.kif 3836-3836
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg")	pictureList.kif 3839-3839
(partition Currency CurrencyBill CurrencyCoin)	Mid-level-ontology.kif 4028-4028	Currency is exhaustively partitioned into CurrencyBill and CurrencyCoin
(subclass Currency FinancialInstrument)	Merge.kif 15822-15822	Currency is a subclass of FinancialInstrument

appearance as argument number 2

(subclass CurrencyBill Currency)	Mid-level-ontology.kif 4027-4027	CurrencyBill is a subclass of Currency
(subclass CurrencyCoin Currency)	Mid-level-ontology.kif 4039-4039	CurrencyCoin is a subclass of Currency
(termFormat ChineseLanguage Currency "货币")	domainEnglishFormat.kif 18056-18056	CurrencyCoin is a subclass of Currency
(termFormat ChineseTraditionalLanguage Currency "貨幣")	domainEnglishFormat.kif 18055-18055	CurrencyCoin is a subclass of Currency
(termFormat EnglishLanguage Currency "currency")	domainEnglishFormat.kif 18054-18054	CurrencyCoin is a subclass of Currency

appearance as argument number 3

(domainSubclass currencyValue 1 Currency)

Economy.kif 3934-3934

The number 1 argument of currencyValue 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 3856-3870	If a financial transaction is an instance of financial transaction and the financial transaction originates at CurrencyFn a FinancialAccount and transactionAmount the financial transaction and a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency 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 availableCash the FinancialAccount, the day and 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 2449-2458	If a transfer is an instance of Vending and objectTransferred the transfer and an object and the object is not an instance of Currency, then the statement the object is an instance of FoodForFn 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 15826-15829	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 3499-3502	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

(=> (and (instance ?CG CapitalMeanOfProduction) (attribute ?CGO ?CG)) (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM) (or (and (instance ?MONEY Currency) (equal ?CGO ?MONEY)) (and (element ?PROPERTYITEM (PropertyFn ?AGENT)) (equal ?PROPERTYITEM ?CGO)) (and (instance ?A Artifact) (equal ?CGO ?A)))))	Economy.kif 6111-6125	If an attribute is an instance of CapitalMeanOfProduction and the attribute is an attribute of the attributeO, then there exist an entity, another entity,, , the entityONEY,, , the other entityGENT and a fourth entity such that the entityONEY is an instance of Currency and equal the attributeO and the entityONEY or the fourth entity is an element of belongings of the other entityGENT and equal the fourth entity and the attributeO or the other entity is an instance of artifact and equal the attributeO and the other entity
(=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY))))	Merge.kif 11874-11879	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 CashPayment, 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 2437-2447	If a physical is an instance of VendingMachine, 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 2422-2435	If a physical is an instance of VendingMachine, 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 objectTransferred the third entity and 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 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