No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | PidginLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3481-3481 | AmerindianPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3521-3521 | EnglishBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3576-3576 | HausaBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3598-3598 | IhaBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3612-3612 | MalayBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3629-3629 | MascoianBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3646-3646 | MotuBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3668-3668 | OninBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3681-3681 | RomanceBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3705-3705 | SwahiliBasedPidginLanguage est une sous-classe de PidginLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3719-3719 | ZuluBasedPidginLanguage est une sous-classe de PidginLanguage |
![]() |