hasAcrossVariable - Sigma Knowledge base Browser

appearance as argument number 1

(documentation hasAcrossVariable EnglishLanguage "multipole pole has across variable")	engineering.kif 400-400
(domain hasAcrossVariable 1 MultipolePole)	engineering.kif 404-404	The number 1 argument of has across variable is an instance of multipole pole
(domain hasAcrossVariable 2 MultipoleVariable)	engineering.kif 405-405	The number 2 argument of has across variable is an instance of multipole variable
(instance hasAcrossVariable AsymmetricRelation)	engineering.kif 402-402	has across variable is an instance of asymmetric relation
(instance hasAcrossVariable BinaryPredicate)	engineering.kif 401-401	has across variable is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage hasAcrossVariable "%1 has %n %2 as an across variable")	engineering.kif 403-403
(termFormat ChineseLanguage hasAcrossVariable "跨变量")	domainEnglishFormat.kif 27532-27532
(termFormat ChineseTraditionalLanguage hasAcrossVariable "跨變量")	domainEnglishFormat.kif 27531-27531
(termFormat EnglishLanguage hasAcrossVariable "has across variable")	domainEnglishFormat.kif 27530-27530

antecedent

(=>
    (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 414-423