| 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 14497-14498 | |
| (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 4122-4122 | 货币 详尽无遗地 partition 成 货币单 和 货币硬币 |
| (subclass Currency FinancialInstrument) | Merge.kif 14496-14496 | 货币 是 金融工具 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass CurrencyBill Currency) | Mid-level-ontology.kif 4121-4121 | 货币单 是 货币 的 subclass |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 4133-4133 | 货币硬币 是 货币 的 subclass |
| (termFormat ChineseLanguage Currency "货币") | domainEnglishFormat.kif 17971-17971 | |
| (termFormat ChineseTraditionalLanguage Currency "貨幣") | domainEnglishFormat.kif 17970-17970 | |
| (termFormat EnglishLanguage Currency "currency") | domainEnglishFormat.kif 17969-17969 |
| appearance as argument number 3 |
|
|
| (domainSubclass currencyValue 1 Currency) | Economy.kif 3605-3605 | 货币价值 的 1 数量 是 货币 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction ?Amount1) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day ?Amount2) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3682-3693 | |
| (=> (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 2447-2456 | |
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 14500-14503 | |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3378-3381 |
| consequent |
|
|
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 10922-10927 | |
| (=> (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 2435-2445 | |
| (=> (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 2420-2433 |
|
|
|