hasDimension |
appearance as argument number 1 |
![]() |
(documentation hasDimension EnglishLanguage "multipole quantity has certain dimension") | engineering.kif 294-294 | |
(domain hasDimension 1 MultipoleQuantity) | engineering.kif 298-298 | The number 1 argument of has dimension is an instance of multipole quantity |
(domain hasDimension 2 PhysicalDimension) | engineering.kif 299-299 | The number 2 argument of has dimension is an instance of physical dimension |
(instance hasDimension BinaryPredicate) | engineering.kif 296-296 | has dimension is an instance of binary predicate |
(instance hasDimension SingleValuedRelation) | engineering.kif 295-295 | has dimension is an instance of single valued relation |
appearance as argument number 2 |
![]() |
(format EnglishLanguage hasDimension "%1 has %n dimension %2") | engineering.kif 297-297 | |
(termFormat ChineseLanguage hasDimension "有维度") | domainEnglishFormat.kif 27544-27544 | |
(termFormat ChineseTraditionalLanguage hasDimension "有維度") | domainEnglishFormat.kif 27543-27543 | |
(termFormat EnglishLanguage hasDimension "has dimension") | domainEnglishFormat.kif 27542-27542 |
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 414-423 |
|
![]() |
![]() |