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	Il numero 1 argomenti di hasAcrossVariable è un istanza di MultipolePole
(domain hasAcrossVariable 2 MultipoleVariable)	engineering.kif 406-406	Il numero 2 argomenti di hasAcrossVariable è un istanza di MultipoleVariable
(instance hasAcrossVariable AsymmetricRelation)	engineering.kif 403-403	hasAcrossVariable è un' istanza di RelazioneAsimmetrica
(instance hasAcrossVariable BinaryPredicate)	engineering.kif 402-402	hasAcrossVariable è un' istanza di PredicatoBinario

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