| appearance as argument number 1 |
|
| (documentation Twopole EnglishLanguage "A Multipole with exactly two poles.") | engineering.kif 472-472 | |
| (lexicon Twopole LexNoun "oneport") | engineering.kif 474-474 | |
| (lexicon Twopole LexNoun "twopole") | engineering.kif 473-473 | |
| (subclass Twopole Multipole) | engineering.kif 475-475 |
| appearance as argument number 2 |
|
|
| (subclass PureTwopole Twopole) | engineering.kif 495-495 | |
| (termFormat ChineseLanguage Twopole "双极") | domainEnglishFormat.kif 59681-59681 | |
| (termFormat ChineseTraditionalLanguage Twopole "雙極") | domainEnglishFormat.kif 59680-59680 | |
| (termFormat EnglishLanguage Twopole "twopole") | domainEnglishFormat.kif 59679-59679 |
| 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 477-489 |
|
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