No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14662-14662 |
AnishinaabeLanguage 是 algic 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14609-14609 |
CreeLanguage 是 algic 语言 的 subclass |
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 |
|