StandardAmbientTemperaturePressure(standard ambient temperature and pressure) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2669-2674 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2661-2668 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2678-2678 | Standard ambient temperature and pressure is an instance of attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2677-2677 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2675-2676 |
antecedent |