No TPTP formula. May not be expressible in strict first order. |
Weather.kif 134-134 |
地面风速 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 105-105 |
地面风速率 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10428-10428 |
systolicBloodPressure 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2621-2621 |
总生物量 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2525-2525 |
船只位移 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2546-2546 |
船舶总注册吨位 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26357-26357 |
voltageMeasure 的 2 数量 是 物理量 的 instance |