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	The number 1 argument of has variable is an instance of multipole quantity
(domain hasVariable 2 MultipoleVariable)	engineering.kif 307-307	The number 2 argument of has variable is an instance of multipole variable
(instance hasVariable BinaryPredicate)	engineering.kif 304-304	has variable is an instance of binary predicate
(instance hasVariable SingleValuedRelation)	engineering.kif 303-303	has variable is an instance of single valued relation

appearance as argument number 2

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

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