No TPTP formula. May not be expressible in strict first order. |
Weather.kif 360-360 |
浦氏0风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 369-369 |
浦氏1风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 451-451 |
浦氏10风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 460-460 |
浦氏11风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 470-470 |
浦氏12风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 378-378 |
浦氏2风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 388-388 |
浦氏3风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 397-397 |
浦氏4风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 406-406 |
浦氏5风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 415-415 |
浦氏6风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 424-424 |
浦氏7风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 433-433 |
浦氏8风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 442-442 |
浦氏9风级 是 浦福氏风级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10303-10303 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10302-10302 |
|