Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 外部相关的概念 的 1 数量 是 符号串instance
(domain relatedExternalConcept 2 Entity) Merge.kif 627-627 外部相关的概念 的 2 数量 是 实体instance
(domain relatedExternalConcept 3 Language) Merge.kif 628-628 外部相关的概念 的 3 数量 是 语言instance
(instance relatedExternalConcept TernaryPredicate) Merge.kif 625-625 外部相关的概念三元谓语instance
(relatedInternalConcept relatedExternalConcept relatedInternalConcept) Merge.kif 629-629 外部相关的概念内部相关的概念 是 内部相关

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 纳入外部的概念外部相关的概念subrelation
(subrelation subsumingExternalConcept relatedExternalConcept) Merge.kif 645-645 包含外部的概念外部相关的概念subrelation
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 635-635 和外部意义相同的概念外部相关的概念subrelation
(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 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