TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3214-3216
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3209-3209	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 3210-3210	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 3208-3208	currency type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3212-3212	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 18105-18105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18104-18104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18103-18103

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 3190-3194

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 2891-2897	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 equal the other symbolic string and 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 3184-3188	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 3221-3221	Afghan afghani is a currency type of afghanistan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3282-3282	Albanian lek is a currency type of albania
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3286-3286	Algerian dinar is a currency type of algeria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3290-3290	Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3294-3294	Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3298-3298	Armenian dram is a currency type of armenia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3302-3302	Australian dollar is a currency type of australia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3306-3306	Euro dollar is a currency type of austria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3310-3310	Azerbaijani manat is a currency type of azerbaijan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3318-3318	Bahrainian dinar is a currency type of bahrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3322-3322	Bangladeshi taka is a currency type of bangladesh
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3326-3326	Barbados dollar is a currency type of barbados
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3330-3330	Belarusian rubel is a currency type of belarus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3334-3334	Euro dollar is a currency type of belgium
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3338-3338	Belize dollar is a currency type of belize
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3342-3342	Benin franc is a currency type of benin
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3346-3346	Bermuda dollar is a currency type of bermuda
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3350-3350	Bhutanese ngultrum is a currency type of bhutan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3354-3354	Bolivian boliviano is a currency type of bolivia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3358-3358	Botswana pula is a currency type of botswana
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3362-3362	Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3366-3366	Brunei dollar is a currency type of brunei
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3370-3370	Bulgarian lev is a currency type of bulgaria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3374-3374	Burkina faso franc is a currency type of burkina faso
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3378-3378	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: