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
-------------------------


(documentation lexicon EnglishLanguage "associates a SUMO concept with a lexicon word") engineering.kif 37-37
(domain lexicon 1 SetOrClass) engineering.kif 39-39 domain lexicon, 1 and SetOrClass
(domain lexicon 2 LexiconCategory) engineering.kif 40-40 domain lexicon, 2 and LexiconCategory
(domain lexicon 3 SymbolicString) engineering.kif 41-41 domain lexicon, 3 and SymbolicString
(instance lexicon TernaryPredicate) engineering.kif 38-38 instance lexicon and TernaryPredicate

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


(format ChineseLanguage lexicon "对于 %1 的 %2 word 是 %3 ") domainEnglishFormat.kif 3755-3755
(format ChineseTraditionalLanguage lexicon "對於 %1 的 %2 word 是 %3 ") domainEnglishFormat.kif 3754-3754
(format EnglishLanguage lexicon "the %2 word for %1 is %3") domainEnglishFormat.kif 3753-3753
(termFormat ChineseLanguage lexicon "词库") domainEnglishFormat.kif 34093-34093
(termFormat ChineseTraditionalLanguage lexicon "詞庫") domainEnglishFormat.kif 34092-34092
(termFormat EnglishLanguage lexicon "lexicon") domainEnglishFormat.kif 34091-34091

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 509-509
(lexicon AcrossVariableSource LexNoun "{across variable} source") engineering.kif 520-520
(lexicon AlgebraicAttribute LexAdjective "algebraic") engineering.kif 223-223
(lexicon AlgebroDifferentialAttribute LexAdjective "algebro-differential") engineering.kif 227-227
(lexicon Amplifier LexNoun "amplifier") engineering.kif 988-988
(lexicon Amplifier LexNoun "non-inverting amplifier") engineering.kif 1003-1003
(lexicon ArticleCategory LexNoun "article") engineering.kif 1387-1387
(lexicon Autonomous LexAdjective "autonomous") engineering.kif 720-720
(lexicon Autonomous LexAdverb "autonomously") engineering.kif 721-721
(lexicon Backlashless LexAdjective "backlashless") engineering.kif 707-707
(lexicon Base LexNoun "base") engineering.kif 1068-1068
(lexicon BesselsEquation LexNoun "Bessel's equation") engineering.kif 192-192
(lexicon BjtTransistor LexNoun "BJT transistor") engineering.kif 1081-1081
(lexicon BridgeSinglePhaseRectifier LexNoun "bridge single-phase rectifier") engineering.kif 1023-1023
(lexicon Brushless LexAdjective "brushless") engineering.kif 711-711
(lexicon CapacitorElement LexNoun "capacitor") engineering.kif 531-531
(lexicon Collector LexNoun "collector") engineering.kif 1073-1073
(lexicon Computer LexNoun "computer") engineering.kif 1290-1290
(lexicon ComputerDirectory LexNoun "directory") engineering.kif 1337-1337
(lexicon ComputerDirectory LexNoun "folder") engineering.kif 1336-1336
(lexicon ComputerFile LexNoun "file") engineering.kif 1340-1340
(lexicon ComputerKeyboard LexNoun "keyboard") QoSontology.kif 473-473
(lexicon ComputerProgram 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