|
|
   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 est une sous-classe de SouthwesternIranianLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9181-9181 | AimaqLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9200-9200 | BukharicLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9223-9223 | DarwaziLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9215-9215 | DehwariLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9232-9232 | DzhidiLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9243-9243 | EasternFarsiLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9270-9270 | HazaragiLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9319-9319 | PahlavaniLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9304-9304 | TajikiLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9326-9326 | WesternFarsiLanguage est une instance de PersianLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45290-45290 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45289-45289 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45288-45288 |
|
|
|
