AustrianSchilling(austrian schilling)![]() ![]() ![]() ![]() | ![]() | Austrian_schilling, schilling |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3770-3770 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3775-3775 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3774-3774 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3773-3773 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3651-3651 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3304-3304 | Austrian schilling is an instance of unit of currency |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9121-9121 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9120-9120 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9119-9119 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2336-2336 | "ATS" in ISO_4217_A denotes austrian schilling |
![]() |
![]() |