| PashtoLanguage(pashto language) | | Afghan, Afghani, Pashto, Pashtu, Paxto |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8891-8892 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8890-8890 | Pashto language is a subclass of southeastern iranian language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8895-8895 | Central pashto language is an instance of pashto language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8905-8905 | Northern pashto language is an instance of pashto language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8938-8938 | Southern pashto language is an instance of pashto language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8961-8961 | Waneci language is an instance of pashto language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44640-44640 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44639-44639 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44638-44638 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14789-14789 | "ps" in ISO-639-1 denotes pashto language |
|
|
|