No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2162-2163 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2160-2161 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2164-2164 |
EF4 est une instance de EFScaleAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2166-2166 |
speedScaleAttributeMinMax EF4, 166.0 MilesPerHour(s) and 200.0 MilesPerHour(s) |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2165-2165 |
EF4 est un attribut successeur imm�diat de EF5 |