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 | O argumento numero 2 de currencyValue e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3602-3602 | O argumento numero 1 de currencyValue e' uma sub-classe de Currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3601-3601 | currencyValue e' uma instancia de Predicado Binario |
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 | currencyValue AfghanAfghaniCoin and AfghanAfghani |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2910-2910 | currencyValue BritishPoundCoin and BritishPound |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2912-2912 | currencyValue CanadianDollarCoin and CanadianDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2914-2914 | currencyValue EuroCentCoin and EuroCent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2918-2918 | currencyValue FrenchFrancCoin and FrenchFranc |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2920-2920 | currencyValue GermanMarkCoin and GermanMark |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2922-2922 | currencyValue ItalianLiraCoin and ItalianLira |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2924-2924 | currencyValue JapaneseYenCoin and JapaneseYen |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2926-2926 | currencyValue TajikSomoniCoin and TajikSomoni |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2935-2935 | currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2929-2929 | currencyValue UnitedStatesCentCoin and UnitedStatesCent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2941-2941 | currencyValue UnitedStatesDollarBill and UnitedStatesDollar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2932-2932 | currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2938-2938 | currencyValue UnitedStatesQuarterCoin and 25.0 UnitedStatesCent(s) |
![]() |
![]() |