Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyMeasure

Sigma KEE - CurrencyMeasure
CurrencyMeasure(currency measure)Afghan_monetary_unit, Albanian_monetary_unit, Algerian_centime, Algerian_monetary_unit, Angolan_monetary_unit, Argentine_monetary_unit, Armenian_monetary_unit, Austrian_monetary_unit, Azerbaijani_monetary_unit, Bahrainian_monetary_unit, Bangladeshi_monetary_unit, Belarusian_monetary_unit, Bhutanese_monetary_unit, Bolivian_monetary_unit, Botswana_monetary_unit, Brazilian_monetary_unit, British_monetary_unit, British_shilling, Bulgarian_monetary_unit, Cambodian_monetary_unit, Cape_Verde_monetary_unit, Chilean_monetary_unit, Chinese_monetary_unit, Civil_List, Colombian_monetary_unit, Costa_Rican_monetary_unit, Cuban_monetary_unit, Cypriot_monetary_unit, Czech_monetary_unit, Danish_monetary_unit, Dominican_monetary_unit, Dutch_monetary_unit, EBITDA, Earnings_Before_Interest_Taxes_Depreciation_and_Amortization, Ecuadoran_monetary_unit, Egyptian_monetary_unit, El_Salvadoran_monetary_unit, Estonian_monetary_unit, Ethiopian_monetary_unit, Eurocurrency, Eurodollar, Finnish_monetary_unit, GDP, GNP, Gambian_monetary_unit, Georgian_monetary_unit, German_monetary_unit, Ghanian_monetary_unit, Greek_monetary_unit, Guatemalan_monetary_unit...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2419-2421
No TPTP formula. May not be expressible in strict first order. Merge.kif 6242-6245
No TPTP formula. May not be expressible in strict first order. Merge.kif 6240-6240 Currency measure is a subclass of constant quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3433-3433 The range of average buying price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3478-3478 The range of average buying price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3401-3401 The range of gross merchandise bought in auctions is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3155-3155 The range of gross merchandise bought is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3198-3198 The range of gross merchandise volume is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7732-7732 The range of wealth is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 513-513 Interest is a subclass of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2121-2121 Share unit is a subclass of currency measure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1308-1308
No TPTP formula. May not be expressible in strict first order. english_format.kif 1833-1833

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3339-3339 The number 2 argument of after tax income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 912-912 The number 2 argument of amount charged is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 650-650 The number 2 argument of amount due is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1652-1652 The number 2 argument of bid amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1520-1520 The number 2 argument of annual expenditures of area is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1509-1509 The number 2 argument of annual expenditures of area in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2280-2280 The number 2 argument of annual export total is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2586 The number 2 argument of annual import total is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1492-1492 The number 2 argument of annual revenues of area is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1481-1481 The number 2 argument of annual revenues of area in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1486-1486 The number 2 argument of appraised value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1941-1941 The number 2 argument of ask price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3820-3820 The number 3 argument of available balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3843-3843 The number 3 argument of available cash is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3359-3359 The number 2 argument of before tax income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1921-1921 The number 2 argument of bid price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4104-4104 The number 3 argument of buying power amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1560-1560 The number 2 argument of capital expenditures of area is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1539-1539 The number 2 argument of capital expenditures of area in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3482-3482 The number 2 argument of closing price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3381-3381 The number 2 argument of compensation package is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Dining.kif 119-119 The number 1 argument of corkage fee is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 792-792 The number 2 argument of credit limit is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3883-3883 The number 2 argument of credits per period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 3640-3640 The number 1 argument of currency exchange perUS dollar is an instance of currency measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1613-1622
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3445-3465
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3488-3508

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6327-6331
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 426-435
No TPTP formula. May not be expressible in strict first order. Catalog.kif 505-511
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2104-2124
No TPTP formula. May not be expressible in strict first order. Catalog.kif 459-465
No TPTP formula. May not be expressible in strict first order. Catalog.kif 402-407


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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