|
|
   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 | SardinianLanguage e' uma sub-classe de SouthernRomanceLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10632-10632 | CampindaneseSardinianLanguage e' uma instancia de SardinianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10647-10647 | GallureseSardinianLanguage e' uma instancia de SardinianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10659-10659 | LogudoreseSardinianLanguage e' uma instancia de SardinianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10678-10678 | SassareseSardinianLanguage e' uma instancia de SardinianLanguage |
| 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 | codeMapping ISO-639-1, "sc" and SardinianLanguage |
|
|
|
