No TPTP formula. May not be expressible in strict first order. | Languages.kif 6126-6126 | Chapacura wanham language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6132-6132 | Guapore language is a subclass of chapacura wanham language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6159-6159 | Madeira language is a subclass of chapacura wanham language |
![]() |