CurrencyMeasure(currency measure) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3654-3654 | The number 2 argument of currency exchange rate is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3640-3640 | The number 2 argument of currency exchange rate in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3603-3603 | The number 2 argument of currency value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 674-674 | The number 3 argument of current account balance is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1285-1285 | The number 3 argument of customer value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3992-3992 | The number 3 argument of daily limit is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 803-803 | The number 2 argument of down payment is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2806-2806 | The number 2 argument of economic aid donated is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2789-2789 | The number 2 argument of economic aid donated in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2848-2848 | The number 2 argument of economic aid received net is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2833-2833 | The number 2 argument of economic aid received net in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3352-3352 | The number 2 argument of employee contribution is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2258-2258 | The number 2 argument of export total in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2768-2768 | The number 2 argument of external debt is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2756-2756 | The number 2 argument of external debt in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2300-2300 | The number 2 argument of face value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3479-3479 | The number 2 argument of final price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 798-798 | The number 2 argument of floor loan is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2966-2966 | The number 3 argument of GMB is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2995-2995 | The number 3 argument of GMV is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2563-2563 | The number 2 argument of import total in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3270-3270 | The number 2 argument of income is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3292-3292 | The number 2 argument of income earned is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4040-4040 | The number 2 argument of last statement balance is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1998-1998 | The number 2 argument of limit price is an instance of currency measure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |