No TPTP formula. May not be expressible in strict first order. | Languages.kif 12915-12915 | SoutheasternSiouanLanguage est une sous-classe de SiouanProperLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12922-12922 | BiloxiOfoLanguage est une sous-classe de SoutheasternSiouanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12940-12940 | TuteloGroupLanguage est une sous-classe de SoutheasternSiouanLanguage |