| AltaicLanguage(altaic language)
| | Altaic, Altaic_language, Evenki, Ewenki, Manchu, Tungus, Tungusic, Tungusic_language, Tunguz |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5101-5102 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9878-9878 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10384-10384 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5100-5100 | Altaic language is a subclass of spoken human language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14656-14656 | Mongolian language is an instance of altaic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5106-5106 | Turkic language is a subclass of altaic language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6990-6990 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6989-6989 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6988-6988 |
|
|
|