No TPTP formula. May not be expressible in strict first order. | Languages.kif 6126-6126 | ChapacuraWanhamLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6132-6132 | GuaporeLanguage est une sous-classe de ChapacuraWanhamLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6159-6159 | MadeiraLanguage est une sous-classe de ChapacuraWanhamLanguage |