| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11652-11652 | KiowaTanoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11659-11659 | BaibaiGroupLanguage est une sous-classe de KiowaTanoanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11680-11680 | KwomtariGroupLanguage est une sous-classe de KiowaTanoanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11712-11712 | PyuGroupLanguage est une sous-classe de KiowaTanoanLanguage |
|
|