|
|
  SupremeCourtFn
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3937-3937 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3936-3936 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3940-3940 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3939-3939 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3938-3938 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3283-3283 | 利比亚第纳尔 是 UnitOfCurrency 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3285-3285 | 利比亚第纳尔 是 利比亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34283-34283 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34282-34282 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34281-34281 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2416-2416 | "LYD" 在 ISO-4217-A denotes 利比亚第纳尔 |
|
|
|
