| PersianLanguage(persian language)
| | Farsi, Pahlavi, Pehlevi, Persian |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9177-9178 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6760-6760 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7521-7521 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7522-7522 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7523-7523 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9176-9176 | Persian language is a subclass of southwestern iranian language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9181-9181 | Aimaq language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9200-9200 | Bukharic language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9223-9223 | Darwazi language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9215-9215 | Dehwari language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9232-9232 | Dzhidi language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9243-9243 | Eastern farsi language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9270-9270 | Hazaragi language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9319-9319 | Pahlavani language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9304-9304 | Tajiki language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9326-9326 | Western farsi language is an instance of persian language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45288-45288 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45287-45287 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45286-45286 |
|
|
|