TreeView Knowledge Base Browser

appearance as argument number 1

(documentation hasAcrossVariable EnglishLanguage "multipole pole has across variable")	engineering.kif 401-401
(domain hasAcrossVariable 1 MultipolePole)	engineering.kif 405-405	跨变量的 1 数量是多极杆的 instance
(domain hasAcrossVariable 2 MultipoleVariable)	engineering.kif 406-406	跨变量的 2 数量是多极变量的 instance
(instance hasAcrossVariable AsymmetricRelation)	engineering.kif 403-403	跨变量是非对称关系的 instance
(instance hasAcrossVariable BinaryPredicate)	engineering.kif 402-402	跨变量是二元谓语的 instance

appearance as argument number 2

(format EnglishLanguage hasAcrossVariable "%1 has %n %2 as an across variable")	engineering.kif 404-404
(termFormat ChineseLanguage hasAcrossVariable "跨变量")	domainEnglishFormat.kif 27504-27504
(termFormat ChineseTraditionalLanguage hasAcrossVariable "跨變量")	domainEnglishFormat.kif 27503-27503
(termFormat EnglishLanguage hasAcrossVariable "has across variable")	domainEnglishFormat.kif 27502-27502

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