Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
relatedExternalConcept
Sigma KEE - relatedExternalConcept
relatedExternalConcept
appearance as argument number 1
(
documentation
relatedExternalConcept
ChineseLanguage
"这是用来表示一个概念联系的三重关系:概念的 外部知识来源、 SUMO概念和它外部知识来源的名字。")
chinese_format.kif 1522-1523
(
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 631-633
(
domain
relatedExternalConcept
1
SymbolicString
)
Merge.kif 626-626
The number 1 argument of
related external concept
is an
instance
of
symbolic string
(
domain
relatedExternalConcept
2
Entity
)
Merge.kif 627-627
The number 2 argument of
related external concept
is an
instance
of
entity
(
domain
relatedExternalConcept
3
Language
)
Merge.kif 628-628
The number 3 argument of
related external concept
is an
instance
of
language
(
instance
relatedExternalConcept
TernaryPredicate
)
Merge.kif 625-625
related external concept
is an
instance
of
ternary predicate
(
relatedInternalConcept
relatedExternalConcept
relatedInternalConcept
)
Merge.kif 629-629
related external concept
is
internally
related to
related internal concept
appearance as argument number 2
(
format
ChineseLanguage
relatedExternalConcept
"概念 %1 在 %3 语言 和 概念 %2 %n 是相关的")
chinese_format.kif 331-331
(
format
EnglishLanguage
relatedExternalConcept
"the concept of %1 in language %3 is %n related to the concept of %2")
english_format.kif 336-336
(
subrelation
subsumedExternalConcept
relatedExternalConcept
)
Merge.kif 653-653
subsumed external concept
is a
subrelation
of
related external concept
(
subrelation
subsumingExternalConcept
relatedExternalConcept
)
Merge.kif 645-645
subsuming external concept
is a
subrelation
of
related external concept
(
subrelation
synonymousExternalConcept
relatedExternalConcept
)
Merge.kif 635-635
synonymous external concept
is a
subrelation
of
related external concept
(
termFormat
ChineseLanguage
relatedExternalConcept
"外部相关的概念")
chinese_format.kif 332-332
(
termFormat
ChineseLanguage
relatedExternalConcept
"相关的外部概念")
domainEnglishFormat.kif 49293-49293
(
termFormat
ChineseTraditionalLanguage
relatedExternalConcept
"相關的外部概念")
domainEnglishFormat.kif 49292-49292
(
termFormat
EnglishLanguage
relatedExternalConcept
"related external concept")
domainEnglishFormat.kif 49291-49291
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