|
|
   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 | 撒丁岛语 是 南方浪漫语言 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10632-10632 | Campindanese撒丁岛语 是 撒丁岛语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10647-10647 | Gallurese撒丁岛语 是 撒丁岛语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10659-10659 | Logudorese撒丁岛语 是 撒丁岛语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10678-10678 | Sassarese撒丁岛语 是 撒丁岛语 的 instance |
| 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 撒丁岛语 |
|
|
|
