hasAcrossVariable - Sigma Knowledge base Browser

appearance as argument number 1

(documentation hasAcrossVariable EnglishLanguage "multipole pole has across variable")	engineering.kif 401-401
(domain hasAcrossVariable 1 MultipolePole)	engineering.kif 405-405	The number 1 argument of has across variable is an instance of multipole pole
(domain hasAcrossVariable 2 MultipoleVariable)	engineering.kif 406-406	The number 2 argument of has across variable is an instance of multipole variable
(instance hasAcrossVariable AsymmetricRelation)	engineering.kif 403-403	has across variable is an instance of asymmetric relation
(instance hasAcrossVariable BinaryPredicate)	engineering.kif 402-402	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 404-404
(termFormat ChineseLanguage hasAcrossVariable "跨变量")	domainEnglishFormat.kif 27538-27538
(termFormat ChineseTraditionalLanguage hasAcrossVariable "跨變量")	domainEnglishFormat.kif 27537-27537
(termFormat EnglishLanguage hasAcrossVariable "has across variable")	domainEnglishFormat.kif 27536-27536

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 415-424