Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terminal
Terminal

appearance as argument number 1
-------------------------


(documentation Terminal EnglishLanguage "a point on an electrical device (such as a battery) at which electric current enters or leaves ") engineering.kif 817-818
(lexicon Terminal LexNoun "electrode") engineering.kif 820-820
(lexicon Terminal LexNoun "terminal") engineering.kif 819-819
(subclass Terminal ElectricalComponent) engineering.kif 821-821 TerminalElectricalComponentsubclass では %n

appearance as argument number 2
-------------------------


(subclass Base Terminal) engineering.kif 1068-1068 BaseTerminalsubclass では %n
(subclass Collector Terminal) engineering.kif 1073-1073 CollectorTerminalsubclass では %n
(subclass Emitter Terminal) engineering.kif 1077-1077 EmitterTerminalsubclass では %n
(termFormat ChineseLanguage Terminal "终奌站") domainEnglishFormat.kif 57532-57532
(termFormat ChineseTraditionalLanguage Terminal "終奌站") domainEnglishFormat.kif 57531-57531
(termFormat EnglishLanguage Terminal "terminal") domainEnglishFormat.kif 57530-57530


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