No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14662-14662 |
Anishinaabe language is an instance of algic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14609-14609 |
Cree language is a subclass of algic language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6504-6504 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6503-6503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6502-6502 |
|