|
|
   SardinianLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10628-10629 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10243-10243 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11788-11788 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11789-11789 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11786-11786 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10627-10627 | 子類 撒丁島語 and 南方浪漫語言 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10632-10632 | 例 Campindanese撒丁島語 and 撒丁島語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10647-10647 | 例 gallurese撒丁島語 and 撒丁島語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10659-10659 | 例 logudorese撒丁島語 and 撒丁島語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10678-10678 | 例 sassarese撒丁島語 and 撒丁島語 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51267-51267 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51266-51266 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51265-51265 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14800-14800 | "sc" 在 ISO-639-1 denotes 撒丁島語 |
|
|
|
