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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lexicon
lexicon

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


s__documentation(s__lexicon__m,s__EnglishLanguage,'"associates a SUMO concept with a lexicon word"')

engineering.kif 37-37
s__domain(s__lexicon__m,n__1,s__SetOrClass)

engineering.kif 39-39 The number 1 argument of lexicon is an instance of set or class
s__domain(s__lexicon__m,n__2,s__LexiconCategory)

engineering.kif 40-40 The number 2 argument of lexicon is an instance of lexicon category
s__domain(s__lexicon__m,n__3,s__SymbolicString)

engineering.kif 41-41 The number 3 argument of lexicon is an instance of symbolic string
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__lexicon__m,s__TernaryPredicate)

engineering.kif 38-38 lexicon is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__lexicon__m,'"对于 %1 的 %2 word 是 %3 "')

domainEnglishFormat.kif 3755-3755
s__format(s__ChineseTraditionalLanguage,s__lexicon__m,'"對於 %1 的 %2 word 是 %3 "')

domainEnglishFormat.kif 3754-3754
s__format(s__EnglishLanguage,s__lexicon__m,'"the %2 word for %1 is %3"')

domainEnglishFormat.kif 3753-3753
s__termFormat(s__ChineseLanguage,s__lexicon__m,'"词库"')

domainEnglishFormat.kif 34093-34093
s__termFormat(s__ChineseTraditionalLanguage,s__lexicon__m,'"詞庫"')

domainEnglishFormat.kif 34092-34092
s__termFormat(s__EnglishLanguage,s__lexicon__m,'"lexicon"')

domainEnglishFormat.kif 34091-34091

appearance as argument number 0
-------------------------


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__AlgebraicAttribute,s__LexAdjective,'"algebraic"')

engineering.kif 223-223
s__lexicon(s__AlgebroDifferentialAttribute,s__LexAdjective,'"algebro-differential"')

engineering.kif 227-227
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__Autonomous,s__LexAdjective,'"autonomous"')

engineering.kif 720-720
s__lexicon(s__Autonomous,s__LexAdverb,'"autonomously"')

engineering.kif 721-721
s__lexicon(s__Backlashless,s__LexAdjective,'"backlashless"')

engineering.kif 707-707
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__Brushless,s__LexAdjective,'"brushless"')

engineering.kif 711-711
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 1290-1290
s__lexicon(s__ComputerDirectory,s__LexNoun,'"directory"')

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

engineering.kif 1336-1336
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 1293-1293

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