PashtoLanguage
|
|
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 |