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 domain relatedExternalConcept, 1 and SymbolicString
(domain relatedExternalConcept 2 Entity) Merge.kif 627-627 domain relatedExternalConcept, 2 and Entity
(domain relatedExternalConcept 3 Language) Merge.kif 628-628 domain relatedExternalConcept, 3 and Language
(instance relatedExternalConcept TernaryPredicate) Merge.kif 625-625 instance relatedExternalConcept and TernaryPredicate
(relatedInternalConcept relatedExternalConcept relatedInternalConcept) Merge.kif 629-629 relatedInternalConcept relatedExternalConcept and relatedInternalConcept

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 subsumedExternalConcept and relatedExternalConcept
(subrelation subsumingExternalConcept relatedExternalConcept) Merge.kif 645-645 subrelation subsumingExternalConcept and relatedExternalConcept
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 635-635 subrelation synonymousExternalConcept and relatedExternalConcept
(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