StandardAmbientTemperaturePressure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2665-2670 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2657-2664 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2674-2674 | 标准状况 是 属性 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2673-2673 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2671-2672 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2676-2686 | 实体 是 地区 的 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 |