SouthernAmamiOkinawanLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11415-11417 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11414-11414 | SouthernAmamiOkinawanLanguage est une sous-classe de AmamiOkinawanLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11420-11420 | CentralOkinawanLanguage est une instance de SouthernAmamiOkinawanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11428-11428 | KunigamiLanguage est une instance de SouthernAmamiOkinawanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11442-11442 | OkiNoErabuLanguage est une instance de SouthernAmamiOkinawanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11457-11457 | YoronLanguage est une instance de SouthernAmamiOkinawanLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54164-54164 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54163-54163 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54162-54162 |