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
Sigma KEE - Source
Source
(source)
appearance as argument number 1
(
documentation
Source
EnglishLanguage
"A
PureTwopole
that models a generator of either across or through variable.")
engineering.kif 518-518
(
subclass
Source
PureTwopole
)
engineering.kif 519-519
Source
is a
subclass
of
pure twopole
appearance as argument number 2
(
subclass
AcrossVariableSource
Source
)
engineering.kif 523-523
Across variable source
is a
subclass
of
source
(
subclass
ThroughVariableSource
Source
)
engineering.kif 527-527
Through variable source
is a
subclass
of
source
(
termFormat
ChineseLanguage
Source
"资源")
domainEnglishFormat.kif 54063-54063
Through variable source
is a
subclass
of
source
(
termFormat
ChineseTraditionalLanguage
Source
"資源")
domainEnglishFormat.kif 54062-54062
Through variable source
is a
subclass
of
source
(
termFormat
EnglishLanguage
Source
"source")
domainEnglishFormat.kif 54061-54061
Through variable source
is a
subclass
of
source
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 3.0 is
open source software
produced by
Articulate Software
and its partners
