No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13596-13596 |
HaislaLanguage e' uma instancia de NorthernWakashanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13606-13606 |
HeiltsukLanguage e' uma instancia de NorthernWakashanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13616-13616 |
KwakiutlLanguage e' uma instancia de NorthernWakashanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41169-41169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41168-41168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41167-41167 |
|