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 | HidatsaLanguage e' uma instancia de MissouriValleyLanguage |
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 |