DarkRoast
|
|
appearance as argument number 1 |
(documentation ElectricalTwopole EnglishLanguage "A PureTwopole from electrical energy domain.") | engineering.kif 530-530 | |
(subclass ElectricalTwopole PureTwopole) | engineering.kif 531-531 | 电气双极 是 纯双极 的 subclass |
appearance as argument number 2 |
(represents ResistorElement ElectricalTwopole) | engineering.kif 851-851 | 电阻元件 表达 电气双极 |
(termFormat ChineseLanguage ElectricalTwopole "电气双极") | domainEnglishFormat.kif 21558-21558 | |
(termFormat ChineseTraditionalLanguage ElectricalTwopole "電氣雙極") | domainEnglishFormat.kif 21557-21557 | |
(termFormat EnglishLanguage ElectricalTwopole "electrical twopole") | domainEnglishFormat.kif 21556-21556 |
antecedent |
(=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 543-548 | |
(=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C InductorElement) (represents ?M ?C)))) |
engineering.kif 561-566 | |
(=> (instance ?M ElectricalTwopole) (exists (?R) (and (instance ?R ResistorElement) (represents ?M ?R)))) |
engineering.kif 843-848 |