No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6630-6630 |
域 每, 1 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6631-6631 |
域 每, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6611-6611 |
域 UnitFn, 1 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2105-2105 |
域 年耗電量, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2149-2149 |
域 年度電力出口, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2195-2195 |
域 年度電力進口, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1973-1973 |
域 年發電量, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7817-7817 |
域 氣壓, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1549-1549 |
域 載波頻率, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10441-10441 |
域 diastolicBloodPressure, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2779-2779 |
域 earthAltitude, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2095-2095 |
域 期間用電量, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2138-2138 |
域 電力出口期間, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2183-2183 |
域 電力進口期間, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1963-1963 |
域 期間的電力生產, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 986-986 |
域 船隊總註冊噸位, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 252-252 |
域 高空風速率, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2001-2001 |
域 圖像解析度, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1658-1658 |
域 ingredientAmount, 3 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 215-215 |
域 低空風速, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 203-203 |
域 低空風速, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7503-7503 |
域 測量, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 229-229 |
域 中等海拔風速率, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2630-2630 |
域 可通航航運噸位, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 829-829 |
域 resonantFrequency, 2 and PhysicalQuantity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |