AtmosphericHazing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2555-2557 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2550-2554 | |
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 2558-2558 | Atmospheric hazing is a subclass of weather process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2560-2560 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2559-2559 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2562-2576 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2586-2594 |
|