No TPTP formula. May not be expressible in strict first order. | Languages.kif 12953-12953 | Sko language is a subclass of spoken human language |
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 |