No TPTP formula. May not be expressible in strict first order. |
Weather.kif 796-796 |
高压天气系统 是 天气系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 540-540 |
低压天气系统 是 天气系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62625-62625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62624-62624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62623-62623 |
|