TreeView Knowledge Base Browser

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 271-274
(domain physicalDomain 1 PhysicalDimension)	engineering.kif 277-277
(domain physicalDomain 2 PhysicalDimension)	engineering.kif 278-278
(domain physicalDomain 3 PhysicalDomain)	engineering.kif 279-279
(instance physicalDomain TernaryPredicate)	engineering.kif 275-275

appearance as argument number 2

(format EnglishLanguage physicalDomain "%1 and %2 form physical domain %3")	engineering.kif 276-276
(termFormat EnglishLanguage physicalDomain "physical domain")	domainEnglishFormat.kif 65999-65999

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 412-421

appearance as argument number 0

(physicalDomain AngularVelocity Torque Rotary)	engineering.kif 282-282
(physicalDomain Pressure VolumeFlow FluidPower)	engineering.kif 284-284
(physicalDomain Velocity Force Translatory)	engineering.kif 281-281
(physicalDomain Voltage Current Electrical)	engineering.kif 283-283