TreeView Knowledge Base Browser

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

If a geopolitical area is an instance of nation and euro dollar is a currency type of the geopolitical area,
then the geopolitical area is a member of european monetary union

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2889-2895	If a symbolic string in ISO-4217-A denotes an unit of currency and another symbolic string in ISO-3166-1-alpha-2 denotes a geopolitical area and the geopolitical area is an instance of geopolitical area and the other symbolic string is equal to the sub-string of the symbolic string from 0 to 2, then the unit of currency is a currency type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 3223-3227	If a geopolitical area is an instance of nation and the geopolitical area is a member of european monetary union, then euro dollar is a currency type of the geopolitical area

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)

KB Term:			Term intersection

English Word: