No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2143-2144 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2141-2142 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2145-2145 |
EF0 e' uma instancia de EFScaleAttribute |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2147-2147 |
speedScaleAttributeMinMax EF0, 65.0 MilesPerHour(s) and 85.0 MilesPerHour(s) |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2146-2146 |
EF0 e' um atributo sucessor immediato de EF1 |