| 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 |
| appearance as argument number 2 |
|
|
| (subclass PureTwopole Twopole) | engineering.kif 498-498 | |
| (termFormat ChineseLanguage Twopole "双极") | domainEnglishFormat.kif 59737-59737 | |
| (termFormat ChineseTraditionalLanguage Twopole "雙極") | domainEnglishFormat.kif 59736-59736 | |
| (termFormat EnglishLanguage Twopole "twopole") | domainEnglishFormat.kif 59735-59735 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners