TreeView Knowledge Base Browser

appearance as argument number 1

(documentation lexicon EnglishLanguage "associates a SUMO concept with a lexicon word")	engineering.kif 37-37
(instance lexicon TernaryPredicate)	engineering.kif 38-38	lexicon is an instance of ternary predicate
(domain lexicon 1 SetOrClass)	engineering.kif 39-39	The number 1 argument of lexicon is an instance of set or class
(domain lexicon 2 LexiconCategory)	engineering.kif 40-40	The number 2 argument of lexicon is an instance of lexicon category
(domain lexicon 3 SymbolicString)	engineering.kif 41-41	The number 3 argument of lexicon is an instance of symbolic string

appearance as argument number 2

(format EnglishLanguage lexicon "the %2 word for %1 is %3")	domainEnglishFormat.kif 3750-3750
(format ChineseTraditionalLanguage lexicon "對於 %1 的 %2 word 是 %3 ")	domainEnglishFormat.kif 3751-3751
(format ChineseLanguage lexicon "对于 %1 的 %2 word 是 %3 ")	domainEnglishFormat.kif 3752-3752
(termFormat EnglishLanguage lexicon "lexicon")	domainEnglishFormat.kif 34201-34201
(termFormat ChineseTraditionalLanguage lexicon "詞庫")	domainEnglishFormat.kif 34202-34202
(termFormat ChineseLanguage lexicon "词库")	domainEnglishFormat.kif 34203-34203

appearance as argument number 0

(lexicon ComputerKeyboard LexNoun "keyboard")	ComputerInput.kif 174-174
(lexicon PhysicalDimension LexNoun "physical dimension")	engineering.kif 72-72
(lexicon Dimensionless LexAdjective "dimensionless {physical dimension}")	engineering.kif 114-114
(lexicon Modeling LexNoun "modeling")	engineering.kif 118-118
(lexicon Modeling LexNoun "modelling")	engineering.kif 119-119
(lexicon Modeling LexVerb "model")	engineering.kif 120-120
(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 DifferentialAttribute LexAdjective "differential")	engineering.kif 227-227
(lexicon AlgebraicAttribute LexAdjective "algebraic")	engineering.kif 231-231
(lexicon AlgebroDifferentialAttribute LexAdjective "algebro_differential")	engineering.kif 235-235
(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

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)

KB Term:			Term intersection

English Word: