No TPTP formula. May not be expressible in strict first order. | Languages.kif 12689-12689 | CentralSiouanLanguage est une sous-classe de SiouanProperLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12695-12695 | MandanGroupLanguage est une sous-classe de CentralSiouanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12711-12711 | MississippiValleyLanguage est une sous-classe de CentralSiouanLanguage |