No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2385-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2382-2384 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2389-2389 |
例 SSHWS1 and SSHWSAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2392-2392 |
speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2390-2390 |
繼承屬性 SSHWS1 and SSHWS2 |