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 是 函数量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure 是 测量单位 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6720-6720 | 安培 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7040-7040 | 贝克勒尔 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 238-238 | 每秒位数 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7349-7349 | 英国热量单位 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7341-7341 | 卡路里 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6759-6759 | 坎德拉 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6912-6912 | 库仑 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7155-7155 | 电子伏特 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6937-6937 | 法拉 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7054-7054 | 戈瑞 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6990-6990 | 亨利 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6898-6898 | 马力 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 254-254 | InstructionsPerSecond 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6879-6879 | 焦耳 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2000-2000 | 千瓦时 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3924-3924 | 结速度单位 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7018-7018 | 流明 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7028-7028 | 勒克司 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 812-812 | 每公斤微克 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1696-1696 | 英里每小時 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6861-6861 | 牛顿 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6948-6948 | 欧姆 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 246-246 | 每秒数据包 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6870-6870 | 帕斯卡 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7329-7329 | 磅力 是 CompositeUnitOfMeasure 的 instance |
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 13535-13544 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13565-13574 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13576-13585 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13504-13513 | |
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 |
|