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 53332-53332 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53331-53331 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53330-53330 |
|