No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14662-14662 |
例 AnishinaabeLanguage and algic 語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14609-14609 |
子類 CreeLanguage and algic 語言 |
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 |
|