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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfCurrency

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 6214-6215
No TPTP formula. May not be expressible in strict first order. Merge.kif 6212-6212 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. Merge.kif 6292-6296
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. UXExperimentalTerms.kif 520-528
No TPTP formula. May not be expressible in strict first order. Catalog.kif 203-218
No TPTP formula. May not be expressible in strict first order. Catalog.kif 425-440

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 23268-23285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7517-7531
No TPTP formula. May not be expressible in strict first order. Hotel.kif 850-875
No TPTP formula. May not be expressible in strict first order. Hotel.kif 549-568
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Hotel.kif 398-418


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