No TPTP formula. May not be expressible in strict first order. | Languages.kif 6075-6075 | Cant language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6083-6083 | English tahitian language is a subclass of cant language |