|
|
   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 | Sardinian language is a subclass of southern romance language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10632-10632 | Campindanese sardinian language is an instance of sardinian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10647-10647 | Gallurese sardinian language is an instance of sardinian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10659-10659 | Logudorese sardinian language is an instance of sardinian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10678-10678 | Sassarese sardinian language is an instance of sardinian language |
| 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" in ISO-639-1 denotes sardinian language |
|
|
|
