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 15651-15652 | |
(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 3837-3837 | |
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg") | pictureList.kif 3840-3840 | |
(partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 3585-3585 | Currency wird vollstaendig in CurrencyBill und CurrencyCoin verteilt |
(subclass Currency FinancialInstrument) | Merge.kif 15650-15650 | Currency ist eine teilkategorie von FinancialInstrument |
appearance as argument number 2 |
(subclass CurrencyBill Currency) | Mid-level-ontology.kif 3584-3584 | CurrencyBill ist eine teilkategorie von Currency |
(subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3596-3596 | CurrencyCoin ist eine teilkategorie von Currency |
(termFormat ChineseLanguage Currency "货币") | domainEnglishFormat.kif 18048-18048 | |
(termFormat ChineseTraditionalLanguage Currency "貨幣") | domainEnglishFormat.kif 18047-18047 | |
(termFormat EnglishLanguage Currency "currency") | domainEnglishFormat.kif 18046-18046 |
appearance as argument number 3 |
(domainSubclass currencyValue 1 Currency) | Economy.kif 3602-3602 | Die Zahl 1 Argument von currencyValue ist eine teilkategorie von Currency %n{nicht} |
antecedent |
consequent |
(=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11702-11707 | |
(=> (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 1974-1984 |
|
(=> (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 1959-1972 |
|