appearance as argument number 2

(lexicon ComputerKeyboard LexNoun "keyboard")	ComputerInput.kif 174-174
(termFormat EnglishLanguage LexNoun "lex noun")	domainEnglishFormat.kif 34213-34213
(termFormat ChineseTraditionalLanguage LexNoun "lex名詞")	domainEnglishFormat.kif 34214-34214
(termFormat ChineseLanguage LexNoun "lex名词")	domainEnglishFormat.kif 34215-34215
(lexicon PhysicalDimension LexNoun "physical dimension")	engineering.kif 72-72
(lexicon Modeling LexNoun "modeling")	engineering.kif 118-118
(lexicon Modeling LexNoun "modelling")	engineering.kif 119-119
(lexicon AbsoluteValueFn LexNoun "abs")	engineering.kif 141-141
(lexicon AbsoluteValueFn LexNoun "absolute value")	engineering.kif 142-142
(lexicon SineFn LexNoun "sinus")	engineering.kif 144-144
(lexicon SineFn LexNoun "sin")	engineering.kif 145-145
(lexicon CosineFn LexNoun "cosinus")	engineering.kif 147-147
(lexicon CosineFn LexNoun "cos")	engineering.kif 148-148
(lexicon Equation LexNoun "equation")	engineering.kif 156-156
(lexicon FirstOrderDifferentialEquation LexNoun "first_order differential equation")	engineering.kif 179-179
(lexicon HigherOrderDifferentialEquation LexNoun "higher_order differential equation")	engineering.kif 184-184
(lexicon BesselsEquation LexNoun "Bessel's equation")	engineering.kif 200-200
(lexicon VanderpolsEquation LexNoun "{Van der Pol's} equation")	engineering.kif 205-205
(lexicon SetOfEquations LexNoun "set of equations")	engineering.kif 210-210
(lexicon SetOfEquations LexNoun "equations")	engineering.kif 211-211
(lexicon PhysicalDomain LexNoun "{physical domain}")	engineering.kif 260-260
(lexicon Electrical LexNoun "electrical {physical domain}")	engineering.kif 264-264
(lexicon Translatory LexNoun "translatory {physical domain}")	engineering.kif 268-268
(lexicon Rotary LexNoun "rotary {physical domain}")	engineering.kif 272-272
(lexicon FluidPower LexNoun "{fluid power} {physical domain}")	engineering.kif 276-276
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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners