physicalDomain |
appearance as argument number 1 |
(documentation physicalDomain EnglishLanguage "Relation that holds for pairs of physical dimensions that multiply up into a physical dimension of Power. The first is considered for across variable, the second for through variable.") | engineering.kif 272-275 | |
(domain physicalDomain 1 PhysicalDimension) | engineering.kif 278-278 | physicalDomain 的 1 数量 是 物理尺寸 的 instance |
(domain physicalDomain 2 PhysicalDimension) | engineering.kif 279-279 | physicalDomain 的 2 数量 是 物理尺寸 的 instance |
(domain physicalDomain 3 PhysicalDomain) | engineering.kif 280-280 | physicalDomain 的 3 数量 是 物理域 的 instance |
(instance physicalDomain TernaryPredicate) | engineering.kif 276-276 | physicalDomain 是 三元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage physicalDomain "%1 and %2 form physical domain %3") | engineering.kif 277-277 | |
(termFormat EnglishLanguage physicalDomain "physical domain") | domainEnglishFormat.kif 65899-65899 |
consequent |
(=> (and (hasAcrossVariable ?POLE ?ACROSS) (hasThroughVariable ?POLE ?THROUGH) (hasVariable ?QACROSS ?ACROSS) (hasVariable ?QTHROUGH ?THROUGH) (hasDimension ?QACROSS ?DACROSS) (hasDimension ?QTHROUGH ?DTHROUGH)) (exists (?DOMAIN) (physicalDomain ?DACROSS ?DTHROUGH ?DOMAIN))) |
engineering.kif 415-424 |
appearance as argument number 0 |
(physicalDomain AngularVelocity Torque Rotary) | engineering.kif 283-283 | physicalDomain 圆周角度速度, 扭矩 and 旋转 |
(physicalDomain Pressure VolumeFlow FluidPower) | engineering.kif 285-285 | physicalDomain 压力, 体积流量 and 流体动力 |
(physicalDomain Velocity Force Translatory) | engineering.kif 282-282 | physicalDomain 速度, 力 and 平移 |
(physicalDomain Voltage Current Electrical) | engineering.kif 284-284 | physicalDomain 电压, 当前 and 电动 |