No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6630-6630 |
每 的 1 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6631-6631 |
每 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6611-6611 |
UnitFn 的 1 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2105-2105 |
年耗电量 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2149-2149 |
年度电力出口 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2195-2195 |
年度电力进口 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1973-1973 |
年发电量 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7839-7839 |
气压 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1549-1549 |
载波频率 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10440-10440 |
diastolicBloodPressure 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2779-2779 |
earthAltitude 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2095-2095 |
期间用电量 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2138-2138 |
电力出口期间 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2183-2183 |
电力进口期间 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1963-1963 |
期间的电力生产 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 986-986 |
船队总注册吨位 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 252-252 |
高空风速率 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2001-2001 |
图像解析度 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1658-1658 |
ingredientAmount 的 3 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 215-215 |
低空风速 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 203-203 |
低空风速 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7503-7503 |
计量 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 229-229 |
中等海拔风速率 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2630-2630 |
可通航航运吨位 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 829-829 |
resonantFrequency 的 2 数量 是 物理量 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |