CurrencyMeasure(currency measure) |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 205-205 | The number 3 argument of price range is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 730-730 | The number 2 argument of principal amount is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 416-416 | The number 2 argument of product price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7630-7630 | The number 2 argument of profit is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 333-333 | The number 2 argument of published price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3864-3864 | The number 2 argument of purchases per period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 410-410 | The number 2 argument of reserve Price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1121-1121 | The number 3 argument of sector value of GDP is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1097-1097 | The number 3 argument of sector value of GDP in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 896-896 | The number 3 argument of service fee is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4111-4111 | The number 3 argument of short balance amount is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30910-30910 | The number 3 argument of shortage is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4078-4078 | The number 2 argument of statement interest is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2610-2610 | The number 2 argument of strike price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3306-3306 | The number 2 argument of tax deferred income is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1397-1397 | The number 2 argument of total balance is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 950-950 | The number 2 argument of totalGDP is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 937-937 | The number 2 argument of totalGDP in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11897-11897 | The number 2 argument of transaction amount is an instance of currency measure |