hasAcrossVariable |
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 | |
(domain hasAcrossVariable 2 MultipoleVariable) | engineering.kif 406-406 | |
(instance hasAcrossVariable AsymmetricRelation) | engineering.kif 403-403 | |
(instance hasAcrossVariable BinaryPredicate) | engineering.kif 402-402 |
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 |