No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2372-2373 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2369-2371 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2376-2376 |
例 SSHWS1 and SSHWSAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2379-2379 |
speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2377-2377 |
繼承屬性 SSHWS1 and SSHWS2 |