No TPTP formula. May not be expressible in strict first order. | Weather.kif 521-521 | 子類 天氣系統 and 天氣過程 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | 子類 低壓天氣系統 and 天氣系統 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 792-792 | 子類 高壓天氣系統 and 天氣系統 |
![]() |