FunctionQuantity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1790-1796 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2102-2110 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 406-411 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2100-2100 | 函数量 是 物理量 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 813-813 | 每公斤微克 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1699-1699 | 英里每小時 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | AccelerationFn 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6647-6647 | 密度函数 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2220-2220 | 10分钟平均地面风速 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2325-2325 | 1分钟平均地面风速 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2290-2290 | 2分钟平均地面风速 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2255-2255 | 3分钟平均地面风速 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1901-1901 | 3秒平均地面风速 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6633-6633 | 每 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2105-2105 | RotationFn 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6659-6659 | 速率函数 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2035-2035 | 3秒阵风风速 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6672-6672 | 速度函数 的 range 是 函数量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6267-6267 | 面积测量 是 函数量 的 subclass |
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 2112-2112 | 一元常数函数量 是 函数量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6278-6278 | 体积测量 是 函数量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 882-882 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 966-966 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 558-558 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 91-91 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2243-2243 | |
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. | Cars.kif 1274-1274 | AccelerationFn 的 1 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1054-1054 | 带宽 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 502-502 | contractedRentalPrice 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 797-797 | 有效剂量 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2559-2559 | engineIdleSpeed 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2881-2881 | governorSpeed 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 844-844 | 致死剂量 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1204-1204 | 降水率 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2827-2827 | 降雨强度 的 3 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 455-455 | rentalPrice 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3032-3032 | 降雪强度 的 3 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 778-778 | 声音频率 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2126-2126 | 时速级数属性最低最高 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2127-2127 | 时速级数属性最低最高 的 3 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1711-1711 | topSpeed 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31338-31338 | transformerCapacity 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3047-3047 | 过境通行能力 的 3 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 398-398 | unitPrice 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31246-31246 | voltageRatingPrimary 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31289-31289 | voltageRatingSecondary 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2282-2282 | 让 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | 物理量 详尽无遗地 partition 成 恒量 和 函数量 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1998-2003 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6225-6229 |