TreeView Knowledge Base Browser

appearance as argument number 1

(documentation hasVariable EnglishLanguage "multipole quantity has certain variable")	engineering.kif 302-302
(domain hasVariable 1 MultipoleQuantity)	engineering.kif 306-306	域有變數, 1 and 多極數量
(domain hasVariable 2 MultipoleVariable)	engineering.kif 307-307	域有變數, 2 and 多極變量
(instance hasVariable BinaryPredicate)	engineering.kif 304-304	例有變數 and BinaryPredicate
(instance hasVariable SingleValuedRelation)	engineering.kif 303-303	例有變數 and SingleValuedRelation

appearance as argument number 2

(format EnglishLanguage hasVariable "%1 has %n variable %2")	engineering.kif 305-305
(termFormat ChineseLanguage hasVariable "有变数")	domainEnglishFormat.kif 27570-27570
(termFormat ChineseTraditionalLanguage hasVariable "有變數")	domainEnglishFormat.kif 27569-27569
(termFormat EnglishLanguage hasVariable "has variable")	domainEnglishFormat.kif 27568-27568

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