UnitOfMeasure(测量单位) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2394-2396 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6200-6205 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1074-1077 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6223-6223 | 测量单位 详尽无遗地 partition 成 CompositeUnitOfMeasure 和 NonCompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6198-6198 | 测量单位 是 物理量 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 853-853 | 拉德 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2093-2093 | RevolutionsPerMinute 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6497-6497 | 十亿倍函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6469-6469 | 千倍函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6483-6483 | 百万倍函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6539-6539 | 百万分之一函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6525-6525 | 千分之一函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6553-6553 | 十亿分之一函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6568-6568 | 万亿分之一函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3965-3965 | 方形单位 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6511-6511 | 一万亿倍函数 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6612-6612 | UnitFn 的 range 是 测量单位 的实例 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9868-9868 | AcidityMeasure 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6215-6215 | NonCompositeUnitOfMeasure 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7449-7449 | SoundPressureLevelUnit 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | 国际单位制 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1301-1301 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1819-1819 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 979-979 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 514-514 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 518-518 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2663-2663 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 931-931 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6496-6496 | 十亿倍函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6468-6468 | 千倍函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6349-6349 | 计量函数 的 2 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6482-6482 | 百万倍函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6538-6538 | 百万分之一函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6524-6524 | 千分之一函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6552-6552 | 十亿分之一函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6567-6567 | 万亿分之一函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3964-3964 | 方形单位 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6510-6510 | 一万亿倍函数 的 1 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 900-900 | 组件数据ID 的 4 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6150-6150 | graphMeasure 的 2 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1245-1245 | mixtureRatio 的 5 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 840-840 | 单位测量性能 的 2 数量 是 测量单位 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1165-1176 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1314-1348 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1248-1262 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6620-6626 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6503-6507 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6475-6479 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6489-6493 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6545-6549 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6531-6535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6560-6564 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6575-6579 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6517-6521 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 349-366 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2130-2143 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2728-2748 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2750-2771 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2709-2726 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1172-1184 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2286-2291 |
|