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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LexNoun
LexNoun(lex noun)

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


s__documentation(s__LexNoun,s__EnglishLanguage,'"noun"')

engineering.kif 46-46
s__instance(s__LexiconCategory,s__Class)

s__instance(s__LexNoun,s__LexiconCategory)

engineering.kif 47-47 Lex noun is an instance of lexicon category

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


s__lexicon(s__AbsoluteValueFn__m,s__LexNoun,'"abs"')

engineering.kif 133-133
s__lexicon(s__AbsoluteValueFn__m,s__LexNoun,'"absolute value"')

engineering.kif 134-134
s__lexicon(s__AcrossVariableAccumulator,s__LexNoun,'"{across variable} accumulator"')

engineering.kif 509-509
s__lexicon(s__AcrossVariableSource,s__LexNoun,'"{across variable} source"')

engineering.kif 520-520
s__lexicon(s__Amplifier,s__LexNoun,'"amplifier"')

engineering.kif 988-988
s__lexicon(s__Amplifier,s__LexNoun,'"non-inverting amplifier"')

engineering.kif 1003-1003
s__lexicon(s__ArticleCategory,s__LexNoun,'"article"')

engineering.kif 1387-1387
s__lexicon(s__Base,s__LexNoun,'"base"')

engineering.kif 1068-1068
s__lexicon(s__BesselsEquation,s__LexNoun,'"Bessels equation"')

engineering.kif 192-192
s__lexicon(s__BjtTransistor,s__LexNoun,'"BJT transistor"')

engineering.kif 1081-1081
s__lexicon(s__BridgeSinglePhaseRectifier,s__LexNoun,'"bridge single-phase rectifier"')

engineering.kif 1023-1023
s__lexicon(s__CapacitorElement,s__LexNoun,'"capacitor"')

engineering.kif 531-531
s__lexicon(s__Collector,s__LexNoun,'"collector"')

engineering.kif 1073-1073
s__lexicon(s__Computer,s__LexNoun,'"computer"')

engineering.kif 1291-1291
s__lexicon(s__ComputerDirectory,s__LexNoun,'"directory"')

engineering.kif 1338-1338
s__lexicon(s__ComputerDirectory,s__LexNoun,'"folder"')

engineering.kif 1337-1337
s__lexicon(s__ComputerFile,s__LexNoun,'"file"')

engineering.kif 1340-1340
s__lexicon(s__ComputerKeyboard,s__LexNoun,'"keyboard"')

QoSontology.kif 473-473
s__lexicon(s__ComputerProgram,s__LexNoun,'"program"')

engineering.kif 1294-1294
s__lexicon(s__ComputerProgram,s__LexNoun,'"{computer program}"')

engineering.kif 1293-1293
s__lexicon(s__ConductorSubstance,s__LexNoun,'"conductor"')

engineering.kif 1279-1279
s__lexicon(s__CosineFn__m,s__LexNoun,'"cos"')

engineering.kif 140-140
s__lexicon(s__CosineFn__m,s__LexNoun,'"cosinus"')

engineering.kif 139-139
s__lexicon(s__DamperElement,s__LexNoun,'"damper"')

engineering.kif 569-569
s__lexicon(s__DcMotor,s__LexNoun,'"DC motor"')

engineering.kif 797-797

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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