| HidatsaLanguage(希達薩語)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12905-12911 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8521-8521 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9292-9292 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12904-12904 | 例 希達薩語 and 密蘇里河谷語言 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28059-28059 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28058-28058 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28057-28057 |
|
|
|