|
|
  BavarianLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8066-8100 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8065-8065 | 巴伐利亚语言 是 巴伐利亚奥地利语言 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10242-10242 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10241-10241 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10240-10240 |
|
|
|