![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9074-9076 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9073-9073 | CentralIranianLanguage est une sous-classe de NorthwesternIranianLanguage |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9079-9079 | AshtianiLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9087-9087 | DariLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9099-9099 | GaziLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9105-9105 | KhunsariLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9111-9111 | NatanziLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9117-9117 | NayiniLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9138-9138 | ParsiDariLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9123-9123 | ParsiLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9149-9149 | SivandiLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9155-9155 | SoiLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9161-9161 | VafsiLanguage est une instance de CentralIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13866-13866 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13865-13865 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13864-13864 |
![]() |
![]() |