No TPTP formula. May not be expressible in strict first order. | Weather.kif 2054-2054 | 子類 SpeedScaleAttribute and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 335-335 | 子類 BeaufortNumberAttribute and SpeedScaleAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2088-2088 | 子類 EFScaleAttribute and SpeedScaleAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2357-2357 | 子類 SSHWSAttribute and SpeedScaleAttribute |