| 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