No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2421-2422 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2418-2420 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2425-2425 |
SSHWS4 e' uma instancia de SSHWSAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2428-2428 |
speedScaleAttributeMinMax SSHWS4, 130.0 MilesPerHour(s) and 156.0 MilesPerHour(s) |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2426-2426 |
SSHWS4 e' um atributo sucessor immediato de SSHWS5 |