TreeView Knowledge Base Browser - hasThroughVariable

appearance as argument number 1

(documentation hasThroughVariable EnglishLanguage "multipole pole has through variable")	engineering.kif 408-408
(domain hasThroughVariable 1 MultipolePole)	engineering.kif 412-412	hasThroughVariable の数値 1 引数は MultipolePole の instance では %n
(domain hasThroughVariable 2 MultipoleVariable)	engineering.kif 413-413	hasThroughVariable の数値 2 引数は MultipoleVariable の instance では %n
(instance hasThroughVariable AsymmetricRelation)	engineering.kif 410-410	hasThroughVariable は非対称関係の instance では %n
(instance hasThroughVariable BinaryPredicate)	engineering.kif 409-409	hasThroughVariable は 2進述語の instance では %n

appearance as argument number 2

(format EnglishLanguage hasThroughVariable "%1 has %n %2 as a through variable")	engineering.kif 411-411
(termFormat ChineseLanguage hasThroughVariable "有通过变量")	domainEnglishFormat.kif 27564-27564
(termFormat ChineseTraditionalLanguage hasThroughVariable "有通過變量")	domainEnglishFormat.kif 27563-27563
(termFormat EnglishLanguage hasThroughVariable "has through variable")	domainEnglishFormat.kif 27562-27562

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