|
|
   PidginLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3469-3477 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | PidginLanguage e' uma sub-classe de SpokenHumanLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3752-3752 | NdyukaTrioPidginLanguage e' uma instancia de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3481-3481 | AmerindianPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3521-3521 | EnglishBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3576-3576 | HausaBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3598-3598 | IhaBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3612-3612 | MalayBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3629-3629 | MascoianBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3646-3646 | MotuBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3668-3668 | OninBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3681-3681 | RomanceBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3705-3705 | SwahiliBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3719-3719 | ZuluBasedPidginLanguage e' uma sub-classe de PidginLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45792-45792 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45791-45791 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45790-45790 |
|
|
|