No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2413-2414 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2410-2412 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2417-2417 |
例 SSHWS3 and SSHWSAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2420-2420 |
speedScaleAttributeMinMax SSHWS3, 測量 111.0 and MilesPerHour and 測量 129.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2418-2418 |
繼承屬性 SSHWS3 and SSHWS4 |