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 | The number 1 argument of high altitude wind speed is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 263-263 | The number 2 argument of high altitude wind speed is an instance of constant quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 261-261 | high altitude wind speed is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 260-260 | high altitude wind speed is an instance of binary predicate |
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 |
|