hasDimension |
appearance as argument number 1 |
(documentation hasDimension EnglishLanguage "multipole quantity has certain dimension") | engineering.kif 295-295 | |
(domain hasDimension 1 MultipoleQuantity) | engineering.kif 299-299 | |
(domain hasDimension 2 PhysicalDimension) | engineering.kif 300-300 | |
(instance hasDimension BinaryPredicate) | engineering.kif 297-297 | |
(instance hasDimension SingleValuedRelation) | engineering.kif 296-296 |
appearance as argument number 2 |
(format EnglishLanguage hasDimension "%1 has %n dimension %2") | engineering.kif 298-298 | |
(termFormat ChineseLanguage hasDimension "有维度") | domainEnglishFormat.kif 27516-27516 | |
(termFormat ChineseTraditionalLanguage hasDimension "有維度") | domainEnglishFormat.kif 27515-27515 | |
(termFormat EnglishLanguage hasDimension "has dimension") | domainEnglishFormat.kif 27514-27514 |
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 |