subsumedExternalConcept - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation subsumedExternalConcept subsumingExternalConcept)	Merge.kif 635-635	subsumed external concept and subsuming external concept are disjoint
(subrelation subsumedExternalConcept relatedExternalConcept)	Merge.kif 653-653	subsumed external concept is a subrelation of related external concept
(instance subsumedExternalConcept TernaryPredicate)	Merge.kif 654-654	subsumed external concept is an instance of ternary predicate
(domain subsumedExternalConcept 1 SymbolicString)	Merge.kif 655-655	The number 1 argument of subsumed external concept is an instance of symbolic string
(domain subsumedExternalConcept 2 Entity)	Merge.kif 656-656	The number 2 argument of subsumed external concept is an instance of entity
(domain subsumedExternalConcept 3 Language)	Merge.kif 657-657	The number 3 argument of subsumed external concept is an instance of language
(documentation subsumedExternalConcept EnglishLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING is subsumed by the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is narrower in meaning than ?STRING.")	Merge.kif 659-662	The number 3 argument of subsumed external concept is an instance of language

appearance as argument number 2

(disjointRelation synonymousExternalConcept subsumedExternalConcept)	Merge.kif 633-633	synonymous external concept and subsumed external concept are disjoint
(termFormat EnglishLanguage subsumedExternalConcept "subsumed external concept")	domainEnglishFormat.kif 55807-55807	synonymous external concept and subsumed external concept are disjoint
(termFormat ChineseTraditionalLanguage subsumedExternalConcept "包含外部概念")	domainEnglishFormat.kif 55808-55808	synonymous external concept and subsumed external concept are disjoint
(termFormat ChineseLanguage subsumedExternalConcept "包含外部概念")	domainEnglishFormat.kif 55809-55809	synonymous external concept and subsumed external concept are disjoint
(format EnglishLanguage subsumedExternalConcept "the concept of %1 in language %3 is %n subsumed by the concept of %2")	english_format.kif 338-338	synonymous external concept and subsumed external concept are disjoint