Twopole
|
|
appearance as argument number 1 |
(documentation Twopole EnglishLanguage "A Multipole with exactly two poles.") | engineering.kif 475-475 | |
(lexicon Twopole LexNoun "oneport") | engineering.kif 477-477 | |
(lexicon Twopole LexNoun "twopole") | engineering.kif 476-476 | |
(subclass Twopole Multipole) | engineering.kif 478-478 | Twopole は Multipole の subclass では %n |
appearance as argument number 2 |
(subclass PureTwopole Twopole) | engineering.kif 498-498 | PureTwopole は Twopole の subclass では %n |
(termFormat ChineseLanguage Twopole "双极") | domainEnglishFormat.kif 59716-59716 | |
(termFormat ChineseTraditionalLanguage Twopole "雙極") | domainEnglishFormat.kif 59715-59715 | |
(termFormat EnglishLanguage Twopole "twopole") | domainEnglishFormat.kif 59714-59714 |
antecedent |
(=> (instance ?TWOPOLE Twopole) (exists (?PORT) (and (instance ?PORT MultipolePort) (abstractPart ?PORT ?TWOPOLE) (not (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?TWOPOLE) (not (equal ?SECTION ?PORT)))))))) |
engineering.kif 480-492 |
|