| CurrencyMeasure | |
| appearance as argument number 1 |
|
|
| (documentation CurrencyMeasure ChineseLanguage "这个 ConstantQuantity subclass 的实例是 用来量度 monetaryValue 的，它以某些 UnitOfCurrency 如 UnitedStatesDollar ，UnitedStatesCent、人民币、日元等等来表示。") | chinese_format.kif 2419-2421 | |
| (documentation CurrencyMeasure EnglishLanguage "Instances of this subclass of ConstantQuantity are measures of monetaryValue stated in terms of some UnitOfCurrency such as UnitedStatesDollar, UnitedStatesCent, RMB, Lira, Yen, etc.") | Merge.kif 6303-6306 | |
| (documentation CurrencyMeasure JapaneseLanguage "ConstantQuantity のこの subclass の例 は、UnitedStatesDollar、UnitedStatesCent、RMB、Lira、Yen、などのいくつかの UnitOfCurrency の観点から記載された monetaryValue の尺度である。") | japanese_format.kif 1107-1109 | |
| (subclass CurrencyMeasure ConstantQuantity) | Merge.kif 6301-6301 | CurrencyMeasure ist eine teilkategorie von ConstantQuantity |
| appearance as argument number 2 |
|
|
| (range ABPFn CurrencyMeasure) | UXExperimentalTerms.kif 3227-3227 | bildbereich von ABPFn ist ein fall von CurrencyMeasure {nicht} |
| (range ASPFn CurrencyMeasure) | UXExperimentalTerms.kif 3272-3272 | bildbereich von ASPFn ist ein fall von CurrencyMeasure {nicht} |
| (range AuctionGMBFn CurrencyMeasure) | UXExperimentalTerms.kif 3195-3195 | bildbereich von AuctionGMBFn ist ein fall von CurrencyMeasure {nicht} |
| (range GMBFn CurrencyMeasure) | UXExperimentalTerms.kif 2949-2949 | bildbereich von GMBFn ist ein fall von CurrencyMeasure {nicht} |
| (range GMVFn CurrencyMeasure) | UXExperimentalTerms.kif 2992-2992 | bildbereich von GMVFn ist ein fall von CurrencyMeasure {nicht} |
| (range WealthFn CurrencyMeasure) | Merge.kif 7793-7793 | bildbereich von WealthFn ist ein fall von CurrencyMeasure {nicht} |
| (subclass Interest CurrencyMeasure) | FinancialOntology.kif 513-513 | Interest ist eine teilkategorie von CurrencyMeasure |
| (subclass ShareUnit CurrencyMeasure) | FinancialOntology.kif 2107-2107 | ShareUnit ist eine teilkategorie von CurrencyMeasure |
| (termFormat ChineseLanguage CurrencyMeasure "货币测量") | chinese_format.kif 1308-1308 | |
| (termFormat EnglishLanguage CurrencyMeasure "currency measure") | english_format.kif 1833-1833 | |
| (termFormat FrenchLanguage CurrencyMeasure "mesure de devise") | french_format.kif 986-986 | |
| (termFormat Hindi CurrencyMeasure "mudraa maapa") | terms-hindi.txt 521-521 | |
| (termFormat ItalianLanguage CurrencyMeasure "MisuraMonetaria") | terms-it.txt 525-525 | |
| (termFormat JapaneseLanguage CurrencyMeasure "通貨測定") | japanese_format.kif 2670-2670 | |
| (termFormat PortugueseLanguage CurrencyMeasure "Medida de Divisa") | portuguese_format.kif 938-938 | |
| (termFormat cb CurrencyMeasure "panalaping sukod") | terms-cb.txt 527-527 | |
| (termFormat cz CurrencyMeasure "currency measure") | terms-cz.txt 561-561 | |
| (termFormat ro CurrencyMeasure "mãsurã de monedã") | relations-ro.kif 1007-1007 | |
| (termFormat tg CurrencyMeasure "sukat ng salapi") | terms-tg.txt 526-526 |
| appearance as argument number 3 |
|
|
| (domain afterTaxIncome 2 CurrencyMeasure) | FinancialOntology.kif 3326-3326 | Die Zahl 2 Argument von afterTaxIncome ist ein fall von CurrencyMeasure %n{nicht} |
| (domain amountCharged 2 CurrencyMeasure) | FinancialOntology.kif 912-912 | Die Zahl 2 Argument von amountCharged ist ein fall von CurrencyMeasure %n{nicht} |
| (domain amountDue 2 CurrencyMeasure) | FinancialOntology.kif 650-650 | Die Zahl 2 Argument von amountDue ist ein fall von CurrencyMeasure %n{nicht} |
| (domain amountOfBid 2 CurrencyMeasure) | UXExperimentalTerms.kif 1448-1448 | Die Zahl 2 Argument von amountOfBid ist ein fall von CurrencyMeasure %n{nicht} |
| (domain annualExpendituresOfArea 2 CurrencyMeasure) | Economy.kif 1509-1509 | Die Zahl 2 Argument von annualExpendituresOfArea ist ein fall von CurrencyMeasure %n{nicht} |
| (domain annualExpendituresOfAreaInPeriod 2 CurrencyMeasure) | Economy.kif 1498-1498 | Die Zahl 2 Argument von annualExpendituresOfAreaInPeriod ist ein fall von CurrencyMeasure %n{nicht} |
| (domain annualExportTotal 2 CurrencyMeasure) | Economy.kif 2269-2269 | Die Zahl 2 Argument von annualExportTotal ist ein fall von CurrencyMeasure %n{nicht} |
| (domain annualImportTotal 2 CurrencyMeasure) | Economy.kif 2575-2575 | Die Zahl 2 Argument von annualImportTotal ist ein fall von CurrencyMeasure %n{nicht} |
| (domain annualRevenuesOfArea 2 CurrencyMeasure) | Economy.kif 1481-1481 | Die Zahl 2 Argument von annualRevenuesOfArea ist ein fall von CurrencyMeasure %n{nicht} |
| (domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure) | Economy.kif 1470-1470 | Die Zahl 2 Argument von annualRevenuesOfAreaInPeriod ist ein fall von CurrencyMeasure %n{nicht} |
| (domain appraisedValue 2 CurrencyMeasure) | FinancialOntology.kif 1486-1486 | Die Zahl 2 Argument von appraisedValue ist ein fall von CurrencyMeasure %n{nicht} |
| (domain askPrice 2 CurrencyMeasure) | FinancialOntology.kif 1927-1927 | Die Zahl 2 Argument von askPrice ist ein fall von CurrencyMeasure %n{nicht} |
| (domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3809-3809 | Die Zahl 3 Argument von availableBalance ist ein fall von CurrencyMeasure %n{nicht} |
| (domain availableCash 3 CurrencyMeasure) | FinancialOntology.kif 3832-3832 | Die Zahl 3 Argument von availableCash ist ein fall von CurrencyMeasure %n{nicht} |
| (domain beforeTaxIncome 2 CurrencyMeasure) | FinancialOntology.kif 3346-3346 | Die Zahl 2 Argument von beforeTaxIncome ist ein fall von CurrencyMeasure %n{nicht} |
| (domain bidPrice 2 CurrencyMeasure) | FinancialOntology.kif 1907-1907 | Die Zahl 2 Argument von bidPrice ist ein fall von CurrencyMeasure %n{nicht} |
| (domain buyingPowerAmount 3 CurrencyMeasure) | FinancialOntology.kif 4093-4093 | Die Zahl 3 Argument von buyingPowerAmount ist ein fall von CurrencyMeasure %n{nicht} |
| (domain capitalExpendituresOfArea 2 CurrencyMeasure) | Economy.kif 1549-1549 | Die Zahl 2 Argument von capitalExpendituresOfArea ist ein fall von CurrencyMeasure %n{nicht} |
| (domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) | Economy.kif 1528-1528 | Die Zahl 2 Argument von capitalExpendituresOfAreaInPeriod ist ein fall von CurrencyMeasure %n{nicht} |
| (domain closingPrice 2 CurrencyMeasure) | FinancialOntology.kif 3471-3471 | Die Zahl 2 Argument von closingPrice ist ein fall von CurrencyMeasure %n{nicht} |
| (domain compensationPackage 2 CurrencyMeasure) | FinancialOntology.kif 3368-3368 | Die Zahl 2 Argument von compensationPackage ist ein fall von CurrencyMeasure %n{nicht} |
| (domain corkageFee 1 CurrencyMeasure) | Dining.kif 119-119 | Die Zahl 1 Argument von corkageFee ist ein fall von CurrencyMeasure %n{nicht} |
| (domain creditLimit 2 CurrencyMeasure) | FinancialOntology.kif 792-792 | Die Zahl 2 Argument von creditLimit ist ein fall von CurrencyMeasure %n{nicht} |
| (domain creditsPerPeriod 2 CurrencyMeasure) | FinancialOntology.kif 3872-3872 | Die Zahl 2 Argument von creditsPerPeriod ist ein fall von CurrencyMeasure %n{nicht} |
| (domain currencyExchangePerUSDollar 1 CurrencyMeasure) | Economy.kif 3629-3629 | Die Zahl 1 Argument von currencyExchangePerUSDollar ist ein fall von CurrencyMeasure %n{nicht} |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?BIDDING Bidding) (instance ?OBJECT Physical) (instance ?AMOUNT CurrencyMeasure) (instance ?AGENT ?AGENT) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)) (bidPrice ?OBJECT ?AMOUNT ?AGENT)) |
UXExperimentalTerms.kif 1416-1425 |
|
| (=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3239-3259 |
|
| (=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL))) |
UXExperimentalTerms.kif 3282-3302 |
|
| consequent |
|
|
|
|
|