| PersianLanguage
| |
| 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 | PersianLanguage e' uma sub-classe de SouthwesternIranianLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9181-9181 | AimaqLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9200-9200 | BukharicLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9223-9223 | DarwaziLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9215-9215 | DehwariLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9232-9232 | DzhidiLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9243-9243 | EasternFarsiLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9270-9270 | HazaragiLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9319-9319 | PahlavaniLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9304-9304 | TajikiLanguage e' uma instancia de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9326-9326 | WesternFarsiLanguage e' uma instancia de PersianLanguage |
| 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 |
|
|
|