Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 and
SetOrClass
(
domain
lexicon
2
LexiconCategory
)
engineering.kif 40-40
域
詞庫
, 2 and
詞典類別
(
domain
lexicon
3
SymbolicString
)
engineering.kif 41-41
域
詞庫
, 3 and
SymbolicString
(
instance
lexicon
TernaryPredicate
)
engineering.kif 38-38
例
詞庫
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
lexicon
"对于 %1 的 %2 word 是 %3 ")
domainEnglishFormat.kif 3754-3754
(
format
ChineseTraditionalLanguage
lexicon
"對於 %1 的 %2 word 是 %3 ")
domainEnglishFormat.kif 3753-3753
(
format
EnglishLanguage
lexicon
"the %2 word for %1 is %3")
domainEnglishFormat.kif 3752-3752
(
termFormat
ChineseLanguage
lexicon
"词库")
domainEnglishFormat.kif 34199-34199
(
termFormat
ChineseTraditionalLanguage
lexicon
"詞庫")
domainEnglishFormat.kif 34198-34198
(
termFormat
EnglishLanguage
lexicon
"lexicon")
domainEnglishFormat.kif 34197-34197
appearance as argument number 0
(
lexicon
AbsoluteValueFn
LexNoun
"abs")
engineering.kif 134-134
(
lexicon
AbsoluteValueFn
LexNoun
"absolute value")
engineering.kif 135-135
(
lexicon
AcrossVariableAccumulator
LexNoun
"{across variable} accumulator")
engineering.kif 512-512
(
lexicon
AcrossVariableSource
LexNoun
"{across variable} source")
engineering.kif 523-523
(
lexicon
AlgebraicAttribute
LexAdjective
"algebraic")
engineering.kif 224-224
(
lexicon
AlgebroDifferentialAttribute
LexAdjective
"algebro-differential")
engineering.kif 228-228
(
lexicon
Amplifier
LexNoun
"amplifier")
engineering.kif 989-989
(
lexicon
Amplifier
LexNoun
"non-inverting amplifier")
engineering.kif 1004-1004
(
lexicon
ArticleCategory
LexNoun
"article")
engineering.kif 1388-1388
(
lexicon
Autonomous
LexAdjective
"autonomous")
engineering.kif 723-723
(
lexicon
Autonomous
LexAdverb
"autonomously")
engineering.kif 724-724
(
lexicon
Backlashless
LexAdjective
"backlashless")
engineering.kif 710-710
(
lexicon
Base
LexNoun
"base")
engineering.kif 1069-1069
(
lexicon
BesselsEquation
LexNoun
"Bessel's equation")
engineering.kif 193-193
(
lexicon
BjtTransistor
LexNoun
"BJT transistor")
engineering.kif 1082-1082
(
lexicon
BridgeSinglePhaseRectifier
LexNoun
"bridge single-phase rectifier")
engineering.kif 1024-1024
(
lexicon
Brushless
LexAdjective
"brushless")
engineering.kif 714-714
(
lexicon
CapacitorElement
LexNoun
"capacitor")
engineering.kif 534-534
(
lexicon
Collector
LexNoun
"collector")
engineering.kif 1074-1074
(
lexicon
Computer
LexNoun
"computer")
engineering.kif 1292-1292
(
lexicon
ComputerDirectory
LexNoun
"directory")
engineering.kif 1339-1339
(
lexicon
ComputerDirectory
LexNoun
"folder")
engineering.kif 1338-1338
(
lexicon
ComputerFile
LexNoun
"file")
engineering.kif 1341-1341
(
lexicon
ComputerKeyboard
LexNoun
"keyboard")
QoSontology.kif 475-475
(
lexicon
ComputerProgram
LexNoun
"program")
engineering.kif 1295-1295
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