No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12960-12960 |
Krisa group language is a subclass of sko language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12997-12997 |
Vanimo group language is a subclass of sko language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53330-53330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53329-53329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53328-53328 |
|