hasVariable - Sigma Knowledge base Browser

appearance as argument number 1

(documentation hasVariable EnglishLanguage "multipole quantity has certain variable")	engineering.kif 301-301
(domain hasVariable 1 MultipoleQuantity)	engineering.kif 305-305	The number 1 argument of has variable is an instance of multipole quantity
(domain hasVariable 2 MultipoleVariable)	engineering.kif 306-306	The number 2 argument of has variable is an instance of multipole variable
(instance hasVariable BinaryPredicate)	engineering.kif 303-303	has variable is an instance of binary predicate
(instance hasVariable SingleValuedRelation)	engineering.kif 302-302	has variable is an instance of single valued relation

appearance as argument number 2

(format EnglishLanguage hasVariable "%1 has %n variable %2")	engineering.kif 304-304
(termFormat ChineseLanguage hasVariable "有变数")	domainEnglishFormat.kif 27598-27598
(termFormat ChineseTraditionalLanguage hasVariable "有變數")	domainEnglishFormat.kif 27597-27597
(termFormat EnglishLanguage hasVariable "has variable")	domainEnglishFormat.kif 27596-27596

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