No TPTP formula. May not be expressible in strict first order. | Languages.kif 13659-13659 | West papuan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13665-13665 | Birds head language is a subclass of west papuan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13768-13768 | Hattam language is a subclass of west papuan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13784-13784 | Kebar language is a subclass of west papuan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13799-13799 | North halmahera language is a subclass of west papuan language |