No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8895-8895 |
CentralPashtoLanguage e' uma instancia de PashtoLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8905-8905 |
NorthernPashtoLanguage e' uma instancia de PashtoLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8938-8938 |
SouthernPashtoLanguage e' uma instancia de PashtoLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8961-8961 |
WaneciLanguage e' uma instancia de PashtoLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44640-44640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44639-44639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44638-44638 |
|