hasVariable |
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 | hasVariable の数値 1 引数は MultipoleQuantity の instance では %n |
(domain hasVariable 2 MultipoleVariable) | engineering.kif 307-307 | hasVariable の数値 2 引数は MultipoleVariable の instance では %n |
(instance hasVariable BinaryPredicate) | engineering.kif 304-304 | hasVariable は 2進述語 の instance では %n |
(instance hasVariable SingleValuedRelation) | engineering.kif 303-303 | hasVariable は 一価関係 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage hasVariable "%1 has %n variable %2") | engineering.kif 305-305 | |
(termFormat ChineseLanguage hasVariable "有变数") | domainEnglishFormat.kif 27570-27570 | |
(termFormat ChineseTraditionalLanguage hasVariable "有變數") | domainEnglishFormat.kif 27569-27569 | |
(termFormat EnglishLanguage hasVariable "has variable") | domainEnglishFormat.kif 27568-27568 |
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 |
|