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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfCurrency

Sigma KEE - UnitOfCurrency
UnitOfCurrency(unit of currency)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2422-2423
No TPTP formula. May not be expressible in strict first order. Merge.kif 6310-6311
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1110-1112
No TPTP formula. May not be expressible in strict first order. Merge.kif 6308-6308 Unit of currency is a subclass of non composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2883-2883 Afghan afghani is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2943-2943 Albanian lek is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2947-2947 Algerian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2951-2951 Angolan kwanza is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2955-2955 Argentine austral is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2959-2959 Armenian dram is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2963-2963 Australian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2967-2967 Austrian schilling is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2971-2971 Azerbaijani manat is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2975-2975 Bahamian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2979-2979 Bahrainian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2983-2983 Bangladeshi taka is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2987-2987 Barbados dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2991-2991 Belarusian rubel is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2995-2995 Belgian franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2999-2999 Belize dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3003-3003 Benin franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3007-3007 Bermuda dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3011-3011 Bhutanese ngultrum is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3015-3015 Bolivian boliviano is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3019-3019 Botswana pula is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3023-3023 Brazilian real is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2886-2886 British pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3027-3027 Brunei dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3031-3031 Bulgarian lev is an instance of unit of currency

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3615-3615 The number 2 argument of currency code is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3653-3653 The number 1 argument of currency exchange rate is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3639-3639 The number 1 argument of currency exchange rate in period is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2873-2873 The number 2 argument of currency type is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3002-3013 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Merge.kif 6388-6392
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3234-3250
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1192-1207
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 415-423
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3212-3228
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-445

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23828-23845
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7848-7862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 871-897
No TPTP formula. May not be expressible in strict first order. Hotel.kif 569-589
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3119-3143


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