| appearance as argument number 1 |
|
| (documentation MultipolePort EnglishLanguage "MultipoleSection that contains exactly two poles.") | engineering.kif 453-454 | |
| (lexicon MultipolePort LexNoun "multipole port") | engineering.kif 456-456 | |
| (lexicon MultipolePort LexNoun "port") | engineering.kif 457-457 | |
| (lexicon MultipolePort LexNoun "{port of} multipole") | engineering.kif 458-458 | |
| (subclass MultipolePort MultipoleSection) | engineering.kif 455-455 | MultipolePort は MultipoleSection の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MultipolePort "多极港") | domainEnglishFormat.kif 39244-39244 | |
| (termFormat ChineseTraditionalLanguage MultipolePort "多極港") | domainEnglishFormat.kif 39243-39243 | |
| (termFormat EnglishLanguage MultipolePort "multipole port") | domainEnglishFormat.kif 39242-39242 |
| antecedent |
|
|
| (=> (instance ?PORT MultipolePort) (not (exists (?POLE1 ?POLE2 ?POLE3) (and (instance ?POLE1 MultipolePole) (instance ?POLE2 MultipolePole) (instance ?POLE3 MultipolePole) (abstractPart ?POLE1 ?PORT) (abstractPart ?POLE2 ?PORT) (abstractPart ?POLE3 ?PORT) (not (equal ?POLE1 ?POLE2)) (not (equal ?POLE2 ?POLE3)) (not (equal ?POLE1 ?POLE3)))))) |
engineering.kif 460-472 |
|
| consequent |
|
|
| (=> (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 479-491 |
|
|
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