|
|
   ConstantQuantity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1768-1778 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2047-2065 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 379-390 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9103-9103 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8437-8437 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9106-9106 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9107-9107 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9104-9104 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9105-9105 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2045-2045 | 恒量 是 物理量 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | 物理量 详尽无遗地 partition 成 恒量 和 函数量 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1320-1320 | CPU利用率 的 range 是 恒量 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6585-6585 | 间隔函数 的所得值 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6313-6313 | 角度测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6301-6301 | 货币测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7411-7411 | 资讯测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6242-6242 | 长度测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6253-6253 | 质量测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6216-6216 | NonCompositeUnitOfMeasure 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 849-849 | 辐射测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6289-6289 | 温度测量 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2067-2067 | 时间单位 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1417-1417 | 波高 是 恒量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 876-876 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 954-954 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 552-552 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 85-85 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2237-2237 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 504-504 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 573-573 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 86-86 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6583-6583 | 间隔函数 的 1 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6584-6584 | 间隔函数 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2073-2073 | 耕地面积 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1222-1222 | 期间平均降水量 的 3 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6682-6682 | 容量 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24362-24362 | distanceOnPath 的 1 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1737-1737 | hearingAcuity 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1738-1738 | hearingAcuity 的 3 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 263-263 | 高空风速 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2130-2130 | 主机抖动 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2210-2210 | 灌溉土地面积 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13729-13729 | loudness 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2937-2937 | 测量读数 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 240-240 | 中等海拔风速 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1663-1663 | 记忆体大小 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2156-2156 | 其他土地使用面积 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2117-2117 | 永久性农田面积 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1213-1213 | 降水量 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1195-1195 | qoS松弛 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1196-1196 | qoS松弛 的 3 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 976-976 | 海面温度 的 2 数量 是 恒量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1231-1231 | 期间总降水量 的 3 数量 是 恒量 的 instance |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6231-6235 |
|
|
|
