| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | Pidgin language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3481-3481 | Amerindian pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3521-3521 | English based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3576-3576 | Hausa based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3598-3598 | Iha based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3612-3612 | Malay based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3629-3629 | Mascoian based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3646-3646 | Motu based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3668-3668 | Onin based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3681-3681 | Romance based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3705-3705 | Swahili based pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3719-3719 | Zulu based pidgin language is a subclass of pidgin language |
|
|