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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 614-616
(domain relatedExternalConcept 1 SymbolicString) Merge.kif 609-609
(domain relatedExternalConcept 2 Entity) Merge.kif 610-610
(domain relatedExternalConcept 3 Language) Merge.kif 611-611
(instance relatedExternalConcept TernaryPredicate) Merge.kif 608-608
(relatedInternalConcept relatedExternalConcept relatedInternalConcept) Merge.kif 612-612

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 339-339
(subrelation subsumedExternalConcept relatedExternalConcept) Merge.kif 636-636
(subrelation subsumingExternalConcept relatedExternalConcept) Merge.kif 628-628
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 618-618
(termFormat ChineseLanguage relatedExternalConcept "外部相关的概念") chinese_format.kif 332-332
(termFormat ChineseLanguage relatedExternalConcept "相关的外部概念") domainEnglishFormat.kif 49304-49304
(termFormat ChineseTraditionalLanguage relatedExternalConcept "相關的外部概念") domainEnglishFormat.kif 49303-49303
(termFormat EnglishLanguage relatedExternalConcept "related external concept") domainEnglishFormat.kif 49302-49302


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