AtmosphericHazing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2542-2544 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2537-2541 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6605-6605 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2545-2545 | AtmosphericHazing est une sous-classe de WeatherProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2547-2547 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2546-2546 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2549-2563 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2573-2581 |
|