airTemperature |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25676-25680 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25673-25673 | 气温 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25674-25674 | 气温 的 2 数量 是 温度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25672-25672 | 气温 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25675-25675 | 气温 是 计量 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 120-120 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 118-118 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6282-6282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6281-6281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6280-6280 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1597-1603 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1865-1877 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1902-1914 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3629-3642 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3657-3670 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3682-3695 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3708-3721 |
|
consequent |
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. | emotion.kif 1865-1877 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1902-1914 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1139-1151 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25994-26002 |