|
|
   GermanGroupLanguage
|
|
|
| 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 | 德语小组语言 是 西德语 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | 中德语 是 德语小组语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | 上德语 是 德语小组语言 的 subclass |
| 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 |
|
|
|
