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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfCurrency
UnitOfCurrency

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 6222-6223
No TPTP formula. May not be expressible in strict first order. Merge.kif 6220-6220 UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2893-2893 Afghan afghani is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2953-2953 Albanian lek is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2957-2957 Algerian dinar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2961-2961 Angolan kwanza is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2965-2965 Argentine austral is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2969-2969 Armenian dram is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2973-2973 Australian dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2977-2977 Austrian schilling is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2981-2981 Azerbaijani manat is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2985-2985 Bahamian dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2989-2989 Bahrainian dinar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2993-2993 Bangladeshi taka is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2997-2997 Barbados dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3001-3001 Belarusian rubel is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3005-3005 Belgian franc is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3009-3009 Belize dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3013-3013 Benin franc is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3017-3017 Bermuda dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3021-3021 Bhutanese ngultrum is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3025-3025 Bolivian boliviano is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3029-3029 Botswana pula is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3033-3033 Brazilian real is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2896-2896 British pound is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3037-3037 Brunei dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3041-3041 Bulgarian lev is an instance of UnitOfCurrency

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 3625-3625 The number 2 argument of currency code is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3663-3663 The number 1 argument of currency exchange rate is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3649-3649 The number 1 argument of currency exchange rate in period is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2883-2883 The number 2 argument of currency type is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3058-3069 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 UnitOfCurrency 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 3009-3020 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 UnitOfCurrency 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 3022-3033 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 UnitOfCurrency 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 3071-3082 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 UnitOfCurrency 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 2017-2038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
No TPTP formula. May not be expressible in strict first order. Merge.kif 6300-6304
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-448
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 758-774
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3241-3257
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1191-1206
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3790-3804
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3767-3779
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 520-528
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3219-3235
No TPTP formula. May not be expressible in strict first order. Catalog.kif 208-223
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 193-212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23377-23394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7563-7577
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 3126-3150


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



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