No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11584-11584 |
Kanamari language is an instance of katukinan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11592-11592 |
Katawixi language is an instance of katukinan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11599-11599 |
Katukina language is an instance of katukinan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32239-32239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32238-32238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32237-32237 |
|