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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lexicon

 Sigma KEE - lexicon
lexicon

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


(documentation lexicon EnglishLanguage "associates a SUMO concept with a lexicon word") engineering.kif 37-37
(domain lexicon 1 SetOrClass) engineering.kif 39-39 词库 的 1 数量 是 集或类 的 instance
(domain lexicon 2 LexiconCategory) engineering.kif 40-40 词库 的 2 数量 是 词典类别 的 instance
(domain lexicon 3 SymbolicString) engineering.kif 41-41 词库 的 3 数量 是 符号串 的 instance
(instance lexicon TernaryPredicate) engineering.kif 38-38 词库 是 三元谓语 的 instance

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


(format ChineseLanguage lexicon "对于 %1 的 %2 word 是 %3 ") domainEnglishFormat.kif 3748-3748
(format ChineseTraditionalLanguage lexicon "對於 %1 的 %2 word 是 %3 ") domainEnglishFormat.kif 3747-3747
(format EnglishLanguage lexicon "the %2 word for %1 is %3") domainEnglishFormat.kif 3746-3746
(termFormat ChineseLanguage lexicon "词库") domainEnglishFormat.kif 34228-34228
(termFormat ChineseTraditionalLanguage lexicon "詞庫") domainEnglishFormat.kif 34227-34227
(termFormat EnglishLanguage lexicon "lexicon") domainEnglishFormat.kif 34226-34226

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


(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 511-511
(lexicon AcrossVariableSource LexNoun "{across variable} source") engineering.kif 522-522
(lexicon AlgebraicAttribute LexAdjective "algebraic") engineering.kif 223-223
(lexicon AlgebroDifferentialAttribute LexAdjective "algebro-differential") engineering.kif 227-227
(lexicon Amplifier LexNoun "amplifier") engineering.kif 1302-1302
(lexicon Amplifier LexNoun "non-inverting amplifier") engineering.kif 1317-1317
(lexicon ArticleCategory LexNoun "article") engineering.kif 1701-1701
(lexicon Autonomous LexAdjective "autonomous") engineering.kif 722-722
(lexicon Autonomous LexAdverb "autonomously") engineering.kif 723-723
(lexicon Backlashless LexAdjective "backlashless") engineering.kif 709-709
(lexicon Base LexNoun "base") engineering.kif 1382-1382
(lexicon BesselsEquation LexNoun "Bessel's equation") engineering.kif 192-192
(lexicon BjtTransistor LexNoun "BJT transistor") engineering.kif 1395-1395
(lexicon BridgeSinglePhaseRectifier LexNoun "bridge single-phase rectifier") engineering.kif 1337-1337
(lexicon Brushless LexAdjective "brushless") engineering.kif 713-713
(lexicon CapacitorElement LexNoun "capacitor") engineering.kif 533-533
(lexicon Collector LexNoun "collector") engineering.kif 1387-1387
(lexicon Computer LexNoun "computer") engineering.kif 1605-1605
(lexicon ComputerDirectory LexNoun "directory") engineering.kif 1652-1652
(lexicon ComputerDirectory LexNoun "folder") engineering.kif 1651-1651
(lexicon ComputerFile LexNoun "file") engineering.kif 1654-1654
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 475-475
(lexicon ComputerProgram LexNoun "program") engineering.kif 1608-1608

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 3.0 is open source software produced by Articulate Software and its partners