physicalDomain - Sigma 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 272-275
(domain physicalDomain 1 PhysicalDimension)	engineering.kif 278-278	The number 1 argument of physical domain is an instance of physical dimension
(domain physicalDomain 2 PhysicalDimension)	engineering.kif 279-279	The number 2 argument of physical domain is an instance of physical dimension
(domain physicalDomain 3 PhysicalDomain)	engineering.kif 280-280	The number 3 argument of physical domain is an instance of physical domain
(instance physicalDomain TernaryPredicate)	engineering.kif 276-276	physical domain is an instance of ternary predicate

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	Angular velocity and torque form physical domain rotary
(physicalDomain Pressure VolumeFlow FluidPower)	engineering.kif 285-285	Pressure and volume flow form physical domain fluid power
(physicalDomain Velocity Force Translatory)	engineering.kif 282-282	Velocity and force form physical domain translatory
(physicalDomain Voltage Current Electrical)	engineering.kif 284-284	Voltage and current form physical domain electrical