TransNewGuineaLanguage(反式新幾內亞語) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13457-13459 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13456-13456 | 子類 反式新幾內亞語 and 口語人類語言 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13463-13463 | 子類 主要部分跨新幾內亞語 and 反式新幾內亞語 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58970-58970 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58969-58969 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58968-58968 |