|
| 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 10429-10429 | 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 26369-26369 | voltageMeasure 的 2 数量 是 物理量 的 instance |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners