highAltitudeWindSpeed |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 265-267 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 262-262 | 域 高空風速, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 263-263 | 域 高空風速, 2 and ConstantQuantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 261-261 | 例 高空風速 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 260-260 | 例 高空風速 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1169-1169 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1168-1168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1167-1167 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28065-28065 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28064-28064 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28063-28063 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 269-271 |
|