No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2425-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2422-2424 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2429-2429 |
例 SSHWS4 and SSHWSAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2432-2432 |
speedScaleAttributeMinMax SSHWS4, 測量 130.0 and MilesPerHour and 測量 156.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2430-2430 |
繼承屬性 SSHWS4 and SSHWS5 |