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 44642-44642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44641-44641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44640-44640 |
|