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