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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terminal

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

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


(subclass Base Terminal) engineering.kif 1068-1068
(subclass Collector Terminal) engineering.kif 1073-1073
(subclass Emitter Terminal) engineering.kif 1077-1077
(termFormat ChineseLanguage Terminal "终奌站") domainEnglishFormat.kif 57530-57530
(termFormat ChineseTraditionalLanguage Terminal "終奌站") domainEnglishFormat.kif 57529-57529
(termFormat EnglishLanguage Terminal "terminal") domainEnglishFormat.kif 57528-57528


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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