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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyType

Sigma KEE - currencyType
currencyType

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2888-2890
No TPTP formula. May not be expressible in strict first order. Economy.kif 2883-2883 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 2884-2884 The number 2 argument of currency type is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2882-2882 currency type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2886-2886 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 18086-18086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18085-18085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18084-18084

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3229-3233

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2889-2895
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2895-2895 Afghan afghani is a currency type of afghanistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 2956-2956 Albanian lek is a currency type of albania
No TPTP formula. May not be expressible in strict first order. Economy.kif 2960-2960 Algerian dinar is a currency type of algeria
No TPTP formula. May not be expressible in strict first order. Economy.kif 2964-2964 Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order. Economy.kif 2968-2968 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. Economy.kif 2972-2972 Armenian dram is a currency type of armenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 2976-2976 Australian dollar is a currency type of australia
No TPTP formula. May not be expressible in strict first order. Economy.kif 2980-2980 Euro dollar is a currency type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 2984-2984 Azerbaijani manat is a currency type of azerbaijan
No TPTP formula. May not be expressible in strict first order. Economy.kif 2992-2992 Bahrainian dinar is a currency type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 2996-2996 Bangladeshi taka is a currency type of bangladesh
No TPTP formula. May not be expressible in strict first order. Economy.kif 3000-3000 Barbados dollar is a currency type of barbados
No TPTP formula. May not be expressible in strict first order. Economy.kif 3004-3004 Belarusian rubel is a currency type of belarus
No TPTP formula. May not be expressible in strict first order. Economy.kif 3008-3008 Euro dollar is a currency type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 3012-3012 Belize dollar is a currency type of belize
No TPTP formula. May not be expressible in strict first order. Economy.kif 3016-3016 Benin franc is a currency type of benin
No TPTP formula. May not be expressible in strict first order. Economy.kif 3020-3020 Bermuda dollar is a currency type of bermuda
No TPTP formula. May not be expressible in strict first order. Economy.kif 3024-3024 Bhutanese ngultrum is a currency type of bhutan
No TPTP formula. May not be expressible in strict first order. Economy.kif 3028-3028 Bolivian boliviano is a currency type of bolivia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3032-3032 Botswana pula is a currency type of botswana
No TPTP formula. May not be expressible in strict first order. Economy.kif 3036-3036 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. Economy.kif 3040-3040 Brunei dollar is a currency type of brunei
No TPTP formula. May not be expressible in strict first order. Economy.kif 3044-3044 Bulgarian lev is a currency type of bulgaria
No TPTP formula. May not be expressible in strict first order. Economy.kif 3048-3048 Burkina faso franc is a currency type of burkina faso
No TPTP formula. May not be expressible in strict first order. Economy.kif 3052-3052 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 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