PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 134-134 | 域 地面風速, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 105-105 | 域 地面風速率, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10429-10429 | 域 systolicBloodPressure, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2621-2621 | 域 總生物量, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2525-2525 | 域 船隻位移, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2546-2546 | 域 船舶總註冊噸位, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26369-26369 | 域 voltageMeasure, 2 and PhysicalQuantity |