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 | Il numero 1 argomenti di hasVariable è un istanza di MultipoleQuantity |
(domain hasVariable 2 MultipoleVariable) | engineering.kif 307-307 | Il numero 2 argomenti di hasVariable è un istanza di MultipoleVariable |
(instance hasVariable BinaryPredicate) | engineering.kif 304-304 | hasVariable è un' istanza di PredicatoBinario |
(instance hasVariable SingleValuedRelation) | engineering.kif 303-303 | hasVariable è un' istanza di RelazioneMonovalente |
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 |
|