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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subsumedExternalConcept
subsumedExternalConcept

appearance as argument number 1
-------------------------


(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 643-643 subsumed external concept and subsuming external concept are disjoint
(documentation subsumedExternalConcept ChineseLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 被纳入概念 ?STRING 在语言 ?LANGUAGE 的含义， 也就是说概念 ?THING 的含义比 ?STRING 要窄。") chinese_format.kif 1530-1532 subsumed external concept and subsuming external concept are disjoint
(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 667-670 subsumed external concept and subsuming external concept are disjoint
(documentation subsumedExternalConcept JapaneseLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE)とはSUMO概念?THINGが?LANGUAGEの?STRINGに含まれる、という意味である。 例えば、?THINGの概念は?STRINGよりも意味が狭い。") japanese_format.kif 95-97 subsumed external concept and subsuming external concept are disjoint
(documentation subsumedExternalConcept SpanishLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE) significa que el concepto de SUMO ?THING es subsumido por el significado de ?STRING en ?LANGUAGE. Por ejemplo, el concepto de ?THING es más estrecho que el significado de ?STRING.") spanish_format.kif 111-114 subsumed external concept and subsuming external concept are disjoint
(domain subsumedExternalConcept 1 SymbolicString) Merge.kif 663-663 The number 1 argument of subsumed external concept is an instance of symbolic string
(domain subsumedExternalConcept 2 Entity) Merge.kif 664-664 The number 2 argument of subsumed external concept is an instance of entity
(domain subsumedExternalConcept 3 Language) Merge.kif 665-665 The number 3 argument of subsumed external concept is an instance of language
(instance subsumedExternalConcept TernaryPredicate) Merge.kif 662-662 subsumed external concept is an instance of ternary predicate
(subrelation subsumedExternalConcept relatedExternalConcept) Merge.kif 661-661 subsumed external concept is a subrelation of related external concept

appearance as argument number 2
-------------------------


(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 641-641 synonymous external concept and subsumed external concept are disjoint
(format ChineseLanguage subsumedExternalConcept "语言%3的%1概念的含义, %n包含了概念%2") chinese_format.kif 333-333 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
(format FrenchLanguage subsumedExternalConcept "le concept de %1 dans le langage %3 est %n englob� par le concept de %2") french_format.kif 189-189 synonymous external concept and subsumed external concept are disjoint
(format ItalianLanguage subsumedExternalConcept "il concetto di %1 nella lingua %3 è sussunto dal concetto di%2") relations-it.txt 281-281 synonymous external concept and subsumed external concept are disjoint
(format JapaneseLanguage subsumedExternalConcept "言語 %3 の %1の概念は %2 の概念に subsumed %n") japanese_format.kif 2009-2009 synonymous external concept and subsumed external concept are disjoint
(format PortugueseLanguage subsumedExternalConcept "o conceito de %1 na linguagem %3 e' %n subsumido pelo conceito de %2") portuguese_format.kif 141-141 synonymous external concept and subsumed external concept are disjoint
(format de subsumedExternalConcept "das Konzept von %1 in Sprache %3 ist von dem Konzept %2 zusammengefasst") relations-de.txt 439-439 synonymous external concept and subsumed external concept are disjoint
(format hi subsumedExternalConcept "%3 bhaashhaa men %1 kii sankalpanaa %2 kii sankalpanaa ke dvaaraa samaavishhTa hai") relations-hindi.txt 318-318 synonymous external concept and subsumed external concept are disjoint
(format ro subsumedExternalConcept "înþelesul %1 în limba %3 %n{nu} este subsumed%t{subsumat} de înþelesul %2") relations-ro.kif 209-209 synonymous external concept and subsumed external concept are disjoint
(format sv subsumedExternalConcept "konceptet %1 i språket %3 är %n{inte} inordnat i konceptet %2") relations-sv.txt 200-200 synonymous external concept and subsumed external concept are disjoint
(format tg subsumedExternalConcept "ang kuru-kuro ng %1 sa wika %3 ay nasaklaw ang kuru-kuro ng %2") relations-tg.txt 473-473 synonymous external concept and subsumed external concept are disjoint
(termFormat ChineseLanguage subsumedExternalConcept "包含外部概念") domainEnglishFormat.kif 55852-55852 synonymous external concept and subsumed external concept are disjoint
(termFormat ChineseLanguage subsumedExternalConcept "纳入外部的概念") chinese_format.kif 334-334 synonymous external concept and subsumed external concept are disjoint
(termFormat ChineseTraditionalLanguage subsumedExternalConcept "包含外部概念") domainEnglishFormat.kif 55851-55851 synonymous external concept and subsumed external concept are disjoint
(termFormat EnglishLanguage subsumedExternalConcept "subsumed external concept") domainEnglishFormat.kif 55850-55850 synonymous external concept and subsumed external concept are disjoint


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