StandardAmbientTemperaturePressure(标准状况) |
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 | 标准状况 是 属性 的 instance |
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 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7216-7222 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7241-7247 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7181-7187 |