|
|
  BermudaDollar
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10031-10031 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11073-11073 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11074-11074 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | 子類 德語小組語言 and 西德語 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | 子類 中德語 and 德語小組語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | 子類 上德語 and 德語小組語言 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25878-25878 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25877-25877 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25876-25876 |
|
|
|
