No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14633-14633 |
KashmiriLanguage 是 dardic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8809-8809 |
Kunar语言 是 dardic语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18516-18516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18515-18515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18514-18514 |
|