No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2138-2139 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2136-2137 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2140-2140 |
EF1 est une instance de EFScaleAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2142-2142 |
speedScaleAttributeMinMax EF1, 86.0 MilesPerHour(s) and 110.0 MilesPerHour(s) |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2141-2141 |
EF1 est un attribut successeur imm�diat de EF2 |