No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13591-13591 |
Northern wakashan language is a subclass of wakashan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13628-13628 |
Southern wakashan language is a subclass of wakashan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62075-62075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62074-62074 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62073-62073 |
|