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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currencyType
currencyType

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2887-2889
No TPTP formula. May not be expressible in strict first order. Economy.kif 2882-2882 The number 1 argument of currency type is an instance of geopolitical area
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
No TPTP formula. May not be expressible in strict first order. Economy.kif 2881-2881 currency type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2885-2885 currency type is an instance of single valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 612-612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 611-611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 610-610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18087-18087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18086-18086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18085-18085

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3225

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2875-2881
No TPTP formula. May not be expressible in strict first order. Government.kif 3215-3219

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2894-2894 Afghan afghani is a currency type of afghanistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 2955-2955 Albanian lek is a currency type of albania
No TPTP formula. May not be expressible in strict first order. Economy.kif 2959-2959 Algerian dinar is a currency type of algeria
No TPTP formula. May not be expressible in strict first order. Economy.kif 2963-2963 Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order. Economy.kif 2967-2967 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. Economy.kif 2971-2971 Armenian dram is a currency type of armenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 2975-2975 Australian dollar is a currency type of australia
No TPTP formula. May not be expressible in strict first order. Economy.kif 2979-2979 Euro dollar is a currency type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 2983-2983 Azerbaijani manat is a currency type of azerbaijan
No TPTP formula. May not be expressible in strict first order. Economy.kif 2991-2991 Bahrainian dinar is a currency type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 2995-2995 Bangladeshi taka is a currency type of bangladesh
No TPTP formula. May not be expressible in strict first order. Economy.kif 2999-2999 Barbados dollar is a currency type of barbados
No TPTP formula. May not be expressible in strict first order. Economy.kif 3003-3003 Belarusian rubel is a currency type of belarus
No TPTP formula. May not be expressible in strict first order. Economy.kif 3007-3007 Euro dollar is a currency type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 3011-3011 Belize dollar is a currency type of belize
No TPTP formula. May not be expressible in strict first order. Economy.kif 3015-3015 Benin franc is a currency type of benin
No TPTP formula. May not be expressible in strict first order. Economy.kif 3019-3019 Bermuda dollar is a currency type of bermuda
No TPTP formula. May not be expressible in strict first order. Economy.kif 3023-3023 Bhutanese ngultrum is a currency type of bhutan
No TPTP formula. May not be expressible in strict first order. Economy.kif 3027-3027 Bolivian boliviano is a currency type of bolivia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3031-3031 Botswana pula is a currency type of botswana
No TPTP formula. May not be expressible in strict first order. Economy.kif 3035-3035 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. Economy.kif 3039-3039 Brunei dollar is a currency type of brunei
No TPTP formula. May not be expressible in strict first order. Economy.kif 3043-3043 Bulgarian lev is a currency type of bulgaria
No TPTP formula. May not be expressible in strict first order. Economy.kif 3047-3047 Burkina faso franc is a currency type of burkina faso
No TPTP formula. May not be expressible in strict first order. Economy.kif 3051-3051 Burundi franc is a currency type of burundi

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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