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 6310-6311 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1110-1112 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6308-6308 | Unit of currency is a subclass of non composite unit of measure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2883-2883 | Afghan afghani is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2943-2943 | Albanian lek is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2947-2947 | Algerian dinar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2951-2951 | Angolan kwanza is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2955-2955 | Argentine austral is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2959-2959 | Armenian dram is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2963-2963 | Australian dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2967-2967 | Austrian schilling is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2971-2971 | Azerbaijani manat is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2975-2975 | Bahamian dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2979-2979 | Bahrainian dinar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2983-2983 | Bangladeshi taka is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2987-2987 | Barbados dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2991-2991 | Belarusian rubel is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2995-2995 | Belgian franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2999-2999 | Belize dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3003-3003 | Benin franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3007-3007 | Bermuda dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3011-3011 | Bhutanese ngultrum is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3015-3015 | Bolivian boliviano is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3019-3019 | Botswana pula is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3023-3023 | Brazilian real is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2886-2886 | British pound is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3027-3027 | Brunei dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3031-3031 | Bulgarian lev is an instance of unit of currency |
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 3615-3615 | The number 2 argument of currency code is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3653-3653 | The number 1 argument of currency exchange rate is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3639-3639 | The number 1 argument of currency exchange rate in period is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2873-2873 | The number 2 argument of currency type is an instance of unit of currency |
antecedent |
consequent |