No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2385-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2382-2384 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2389-2389 |
SSHWS1 e' uma instancia de SSHWSAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2392-2392 |
speedScaleAttributeMinMax SSHWS1, 74.0 MilesPerHour(s) and 95.0 MilesPerHour(s) |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2390-2390 |
SSHWS1 e' um atributo sucessor immediato de SSHWS2 |