| Currency
| |
| 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 14880-14881 | |
| (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 3519-3519 | |
| (subclass Currency FinancialInstrument) | Merge.kif 14879-14879 |
| appearance as argument number 2 |
|
|
| (subclass CurrencyBill Currency) | Mid-level-ontology.kif 3518-3518 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3530-3530 | |
| (termFormat ChineseLanguage Currency "货币") | domainEnglishFormat.kif 18039-18039 | |
| (termFormat ChineseTraditionalLanguage Currency "貨幣") | domainEnglishFormat.kif 18038-18038 | |
| (termFormat EnglishLanguage Currency "currency") | domainEnglishFormat.kif 18037-18037 |
| appearance as argument number 3 |
|
|
| (domainSubclass currencyValue 1 Currency) | Economy.kif 3605-3605 |
| 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 3748-3762 | |
| (=> (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 1923-1932 | |
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 14883-14886 | |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3441-3444 |
| consequent |
|
|
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11175-11180 | |
| (=> (instance ?P CashPayment) (and (instrument ?P ?C) (instance ?C Currency))) |
Dining.kif 429-433 | |
| (=> (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 1911-1921 | |
| (=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O) (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 1896-1909 |
|
|
|