TreeView Knowledge Base Browser - subsumingExternalConcept

appearance as argument number 1

(subrelation subsumingExternalConcept relatedExternalConcept)	Merge.kif 641-641	subsuming external concept is a subrelation of related external concept
(instance subsumingExternalConcept TernaryPredicate)	Merge.kif 642-642	subsuming external concept is an instance of ternary predicate
(documentation subsumingExternalConcept EnglishLanguage "(subsumingExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING subsumes the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is broader in meaning than ?STRING.")	Merge.kif 644-647	subsuming external concept is an instance of ternary predicate
(domain subsumingExternalConcept 1 SymbolicString)	Merge.kif 649-649	The number 1 argument of subsuming external concept is an instance of symbolic string
(domain subsumingExternalConcept 2 Entity)	Merge.kif 650-650	The number 2 argument of subsuming external concept is an instance of entity
(domain subsumingExternalConcept 3 Language)	Merge.kif 651-651	The number 3 argument of subsuming external concept is an instance of language

appearance as argument number 2

(disjointRelation synonymousExternalConcept subsumingExternalConcept)	Merge.kif 634-634	synonymous external concept and subsuming external concept are disjoint
(disjointRelation subsumedExternalConcept subsumingExternalConcept)	Merge.kif 635-635	subsumed external concept and subsuming external concept are disjoint
(termFormat EnglishLanguage subsumingExternalConcept "subsuming external concept")	domainEnglishFormat.kif 55825-55825	subsumed external concept and subsuming external concept are disjoint
(termFormat ChineseTraditionalLanguage subsumingExternalConcept "包含外在概念")	domainEnglishFormat.kif 55826-55826	subsumed external concept and subsuming external concept are disjoint
(termFormat ChineseLanguage subsumingExternalConcept "包含外在概念")	domainEnglishFormat.kif 55827-55827	subsumed external concept and subsuming external concept are disjoint
(format EnglishLanguage subsumingExternalConcept "the concept of %1 in language %3 %n{doesn't} subsume%p{s} the concept of %2")	english_format.kif 340-340	subsumed external concept and subsuming external concept are disjoint