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



KB Term:  Term intersection
English Word: 

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners