| 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 15501-15502 | |
| (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 3550-3550 | |
| (subclass Currency FinancialInstrument) | Merge.kif 15500-15500 |
| appearance as argument number 2 |
|
|
| (subclass CurrencyBill Currency) | Mid-level-ontology.kif 3549-3549 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3561-3561 | |
| (termFormat ChineseLanguage Currency "货币") | domainEnglishFormat.kif 18034-18034 | |
| (termFormat ChineseTraditionalLanguage Currency "貨幣") | domainEnglishFormat.kif 18033-18033 | |
| (termFormat EnglishLanguage Currency "currency") | domainEnglishFormat.kif 18032-18032 |
| appearance as argument number 3 |
|
|
| (domainSubclass currencyValue 1 Currency) | Economy.kif 3613-3613 |
| 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 | |
| (=> (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 1951-1960 | |
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15504-15507 | |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3494-3497 |
| consequent |
|
|
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11622-11627 | |
| (=> (instance ?P CashPayment) (exists (?C) (and (instrument ?P ?C) (instance ?C Currency)))) |
Dining.kif 457-462 | |
| (=> (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 1939-1949 | |
| (=> (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 1924-1937 |
|
|
|