EFScaleAttribute(enhanced fuijita scale attribute) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2080-2082 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2075-2079 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2084-2084 | Enhanced fuijita scale attribute is a subclass of speed scale attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2145-2145 | EF0 is an instance of enhanced fuijita scale attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2153-2153 | EF1 is an instance of enhanced fuijita scale attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2161-2161 | EF2 is an instance of enhanced fuijita scale attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2169-2169 | EF3 is an instance of enhanced fuijita scale attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2177-2177 | EF4 is an instance of enhanced fuijita scale attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2185-2185 | EF5 is an instance of enhanced fuijita scale attribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10349-10349 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10347-10347 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10348-10348 |
antecedent |