PyreneanLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10556-10557 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10212-10212 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10555-10555 | 比利牛斯语 是 比利牛斯莫扎拉比语 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10560-10560 | 阿拉贡语言 是 比利牛斯语 的 instance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48220-48220 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48219-48219 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48218-48218 |