currencyType |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2877-2879 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2872-2872 | Le nombre 1 argument de currencyType est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2873-2873 | Le nombre 2 argument de currencyType est une instance de UnitOfCurrency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2871-2871 | currencyType est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2875-2875 | currencyType est une instance de relation simple |
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 18096-18096 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18095-18095 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18094-18094 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3193-3197 |
|
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 3187-3191 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2884-2884 | currencyType Afghanistan and AfghanAfghani |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2945-2945 | currencyType Albania and AlbanianLek |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2949-2949 | currencyType Algeria and AlgerianDinar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2953-2953 | currencyType Angola and AngolanKwanza |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2957-2957 | currencyType Argentina and ArgentineAustral |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2961-2961 | currencyType Armenia and ArmenianDram |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2965-2965 | currencyType Australia and AustralianDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2969-2969 | currencyType Austria and EuroDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2973-2973 | currencyType Azerbaijan and AzerbaijaniManat |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2981-2981 | currencyType Bahrain and BahrainianDinar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2985-2985 | currencyType Bangladesh and BangladeshiTaka |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2989-2989 | currencyType Barbados and BarbadosDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2993-2993 | currencyType Belarus and BelarusianRubel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2997-2997 | currencyType Belgium and EuroDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3001-3001 | currencyType Belize and BelizeDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3005-3005 | currencyType Benin and BeninFranc |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3009-3009 | currencyType Bermuda and BermudaDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3013-3013 | currencyType Bhutan and BhutaneseNgultrum |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3017-3017 | currencyType Bolivia and BolivianBoliviano |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3021-3021 | currencyType Botswana and BotswanaPula |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3025-3025 | currencyType Brazil and BrazilianReal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3029-3029 | currencyType Brunei and BruneiDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3033-3033 | currencyType Bulgaria and BulgarianLev |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3037-3037 | currencyType BurkinaFaso and BurkinaFasoFranc |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3041-3041 | currencyType Burundi and BurundiFranc |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |