|
|
   CompositeUnitOfMeasure
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2397-2399 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6210-6213 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1078-1080 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | 子類 CompositeUnitOfMeasure and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | 子類 CompositeUnitOfMeasure and UnitOfMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6720-6720 | 例 安培 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7040-7040 | 例 貝克勒爾 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 238-238 | 例 每秒位數 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7349-7349 | 例 英國熱量單位 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7341-7341 | 例 卡路里 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6759-6759 | 例 坎德拉 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6912-6912 | 例 庫侖 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7155-7155 | 例 電子伏特 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6937-6937 | 例 法拉 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7054-7054 | 例 戈瑞 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6990-6990 | 例 亨利 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6898-6898 | 例 馬力 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 254-254 | 例 InstructionsPerSecond and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6879-6879 | 例 焦耳 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2000-2000 | 例 千瓦時 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3924-3924 | 例 結速度單位 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7018-7018 | 例 流明 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7028-7028 | 例 勒克司 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 812-812 | 例 McgPerKg and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1700-1700 | 例 MilesPerHour and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6861-6861 | 例 牛頓 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6948-6948 | 例 歐姆 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 246-246 | 例 每秒數據包 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6870-6870 | 例 帕斯卡 and CompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7329-7329 | 例 磅力 and CompositeUnitOfMeasure |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13536-13545 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13566-13575 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13577-13586 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13505-13514 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6455-6459 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6225-6229 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1718-1736 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6455-6459 |
|
|
|