![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8661-8662 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8660-8660 | CentralZoneIndoAryanLanguage est une sous-classe de IndoAryanLanguage |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8717-8717 | DangauraTharuLanguage est une instance de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8751-8751 | KathoriyaTharuLanguage est une instance de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8763-8763 | ParyaLanguage est une instance de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8786-8786 | SonhaLanguage est une instance de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8666-8666 | BhilLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8672-8672 | DomLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8678-8678 | GujaratiGroupLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8685-8685 | KhandesiLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8691-8691 | PanjabiGroupLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8697-8697 | RajasthaniGroupLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8704-8704 | RomaniGroupLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8710-8710 | WesternHindiGroupLanguage est une sous-classe de CentralZoneIndoAryanLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13908-13908 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13907-13907 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13906-13906 |
![]() |
![]() |