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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners