|
|
  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 |
|
|
|