TreeView 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
(domain hasVariable 2 MultipoleVariable)	engineering.kif 306-306
(instance hasVariable BinaryPredicate)	engineering.kif 303-303
(instance hasVariable SingleValuedRelation)	engineering.kif 302-302

appearance as argument number 2

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

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