Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
GeopoliticalArea
Sigma KEE - relatedExternalConcept
relatedExternalConcept
appearance as argument number 1
(
instance
relatedExternalConcept
TernaryPredicate
)
Merge.kif 617-617
related external concept
is an
instance
of
ternary predicate
(
domain
relatedExternalConcept
1
SymbolicString
)
Merge.kif 618-618
The number 1 argument of
related external concept
is an
instance
of
symbolic string
(
domain
relatedExternalConcept
2
Entity
)
Merge.kif 619-619
The number 2 argument of
related external concept
is an
instance
of
entity
(
domain
relatedExternalConcept
3
Language
)
Merge.kif 620-620
The number 3 argument of
related external concept
is an
instance
of
language
(
relatedInternalConcept
relatedExternalConcept
relatedInternalConcept
)
Merge.kif 621-621
related external concept
is
internally
related to
related internal concept
(
documentation
relatedExternalConcept
EnglishLanguage
"Used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source.")
Merge.kif 623-625
related external concept
is
internally
related to
related internal concept
appearance as argument number 2
(
subrelation
synonymousExternalConcept
relatedExternalConcept
)
Merge.kif 627-627
synonymous external concept
is a
subrelation
of
related external concept
(
subrelation
subsumingExternalConcept
relatedExternalConcept
)
Merge.kif 641-641
subsuming external concept
is a
subrelation
of
related external concept
(
subrelation
subsumedExternalConcept
relatedExternalConcept
)
Merge.kif 653-653
subsumed external concept
is a
subrelation
of
related external concept
(
termFormat
EnglishLanguage
relatedExternalConcept
"related external concept")
domainEnglishFormat.kif 49305-49305
subsumed external concept
is a
subrelation
of
related external concept
(
termFormat
ChineseTraditionalLanguage
relatedExternalConcept
"相關的外部概念")
domainEnglishFormat.kif 49306-49306
subsumed external concept
is a
subrelation
of
related external concept
(
termFormat
ChineseLanguage
relatedExternalConcept
"相关的外部概念")
domainEnglishFormat.kif 49307-49307
subsumed external concept
is a
subrelation
of
related external concept
(
format
EnglishLanguage
relatedExternalConcept
"the concept of %1 in language %3 is %n related to the concept of %2")
english_format.kif 336-336
subsumed external concept
is a
subrelation
of
related external concept
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