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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - LexNoun

appearance as argument number 1

(documentation LexNoun EnglishLanguage "noun") engineering.kif 46-46
(instance LexNoun LexiconCategory) engineering.kif 47-47

appearance as argument number 2

(lexicon AbsoluteValueFn LexNoun "abs") engineering.kif 133-133
(lexicon AbsoluteValueFn LexNoun "absolute value") engineering.kif 134-134
(lexicon AcrossVariableAccumulator LexNoun "{across variable} accumulator") engineering.kif 505-505
(lexicon AcrossVariableSource LexNoun "{across variable} source") engineering.kif 516-516
(lexicon Amplifier LexNoun "amplifier") engineering.kif 984-984
(lexicon Amplifier LexNoun "non-inverting amplifier") engineering.kif 999-999
(lexicon ArticleCategory LexNoun "article") engineering.kif 1383-1383
(lexicon Base LexNoun "base") engineering.kif 1064-1064
(lexicon BesselsEquation LexNoun "Bessel's equation") engineering.kif 192-192
(lexicon BjtTransistor LexNoun "BJT transistor") engineering.kif 1077-1077
(lexicon BridgeSinglePhaseRectifier LexNoun "bridge single-phase rectifier") engineering.kif 1019-1019
(lexicon CapacitorElement LexNoun "capacitor") engineering.kif 527-527
(lexicon Collector LexNoun "collector") engineering.kif 1069-1069
(lexicon Computer LexNoun "computer") engineering.kif 1286-1286
(lexicon ComputerDirectory LexNoun "directory") engineering.kif 1333-1333
(lexicon ComputerDirectory LexNoun "folder") engineering.kif 1332-1332
(lexicon ComputerFile LexNoun "file") engineering.kif 1336-1336
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 455-455
(lexicon ComputerProgram LexNoun "program") engineering.kif 1289-1289
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1288-1288
(lexicon ConductorSubstance LexNoun "conductor") engineering.kif 1274-1274
(lexicon CosineFn LexNoun "cos") engineering.kif 140-140
(lexicon CosineFn LexNoun "cosinus") engineering.kif 139-139
(lexicon DamperElement LexNoun "damper") engineering.kif 565-565
(lexicon DcMotor LexNoun "DC motor") engineering.kif 793-793

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners