| 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 15786-15787 | |
| (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 4047-4047 | |
| (subclass Currency FinancialInstrument) | Merge.kif 15785-15785 |
| appearance as argument number 2 |
|
|
| (subclass CurrencyBill Currency) | Mid-level-ontology.kif 4046-4046 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 4058-4058 | |
| (termFormat ChineseLanguage Currency "货币") | domainEnglishFormat.kif 18063-18063 | |
| (termFormat ChineseTraditionalLanguage Currency "貨幣") | domainEnglishFormat.kif 18062-18062 | |
| (termFormat EnglishLanguage Currency "currency") | domainEnglishFormat.kif 18061-18061 |
| appearance as argument number 3 |
|
|
| (domainSubclass currencyValue 1 Currency) | Economy.kif 3939-3939 |
| 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 | |
| (=> (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 2448-2457 | |
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15789-15792 | |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3499-3502 |
| 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 6116-6130 | |
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11837-11842 | |
| (=> (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 2436-2446 | |
| (=> (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 2421-2434 |
|
|
|