No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11093-11093 |
较低的索布语 是 索尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11105-11105 |
上索尔语 是 索尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53972-53972 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53971-53971 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53970-53970 |
|