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 est une sous-classe de SouthernRomanceLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10632-10632 | CampindaneseSardinianLanguage est une instance de SardinianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10647-10647 | GallureseSardinianLanguage est une instance de SardinianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10659-10659 | LogudoreseSardinianLanguage est une instance de SardinianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10678-10678 | SassareseSardinianLanguage est une instance 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 |