currencyValue |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3604-3606 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3603-3603 | The number 2 argument of currency value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3602-3602 | The number 1 argument of currency value is a subclass of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3601-3601 | currency value is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 616-616 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 615-615 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 614-614 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18102-18102 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18101-18101 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18100-18100 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2908-2908 | Afghan afghani is a currency value of afghan afghani coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2910-2910 | British pound is a currency value of british pound coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2912-2912 | Canadian dollar is a currency value of canadian dollar coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2914-2914 | Euro cent is a currency value of euro cent coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2918-2918 | French franc is a currency value of french franc coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2920-2920 | German mark is a currency value of german mark coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2922-2922 | Italian lira is a currency value of italian lira coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2924-2924 | Japanese yen is a currency value of japanese yen coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2926-2926 | Tajik somoni is a currency value of tajik somoni coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2935-2935 | 10.0 United states cent(s) is a currency value of united states cent coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2929-2929 | United states cent is a currency value of united states cent coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2941-2941 | United states dollar is a currency value of united states dollar bill |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2932-2932 | 5.0 United states cent(s) is a currency value of united states five cent coin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2938-2938 | 25.0 United states cent(s) is a currency value of united states quarter coin |