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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subsumingExternalConcept
subsumingExternalConcept

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


(documentation subsumingExternalConcept ChineseLanguage "(subsumingExternalConcept ?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 包含了概念 ?STRING 在语言 ?LANGUAGE 的含义， 也就是说概念 ?THING 的含义比 ?STRING 要广。") chinese_format.kif 1527-1529
(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 652-655
(documentation subsumingExternalConcept JapaneseLanguage "(subsumingExternalConcept ?STRING ?THING ?LANGUAGE) とは、SUMO概念?THINGが?LANGUAGEの?STRINGの意味を含む、という意味で ある。例えば、?THINGの概念は?STRINGより広い意味はがある。") japanese_format.kif 92-94
(documentation subsumingExternalConcept SpanishLanguage "(subsumingExternalConcept ?STRING ?THING ?LANGUAGE) significa que el concepto de SUMO ?THING subsume el significado de ?STRING en ?LANGUAGE, por ejemplo, el concepto ?THING es más amplio en el significado que ?STRING.") spanish_format.kif 107-110
(domain subsumingExternalConcept 1 SymbolicString) Merge.kif 657-657 The number 1 argument of subsuming external concept is an instance of symbolic string
(domain subsumingExternalConcept 2 Entity) Merge.kif 658-658 The number 2 argument of subsuming external concept is an instance of entity
(domain subsumingExternalConcept 3 Language) Merge.kif 659-659 The number 3 argument of subsuming external concept is an instance of language
(instance subsumingExternalConcept TernaryPredicate) Merge.kif 650-650 subsuming external concept is an instance of ternary predicate
(subrelation subsumingExternalConcept relatedExternalConcept) Merge.kif 649-649 subsuming external concept is a subrelation of related external concept

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


(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 643-643 subsumed external concept and subsuming external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 642-642 synonymous external concept and subsuming external concept are disjoint
(format ChineseLanguage subsumingExternalConcept "语言%3的%1概念的含义，%n可被纳入 概念%2") chinese_format.kif 335-336 synonymous 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 synonymous external concept and subsuming external concept are disjoint
(format FrenchLanguage subsumingExternalConcept "le concept de %1 dans le language %3 %n{n'} englobe %n{pas} le concept de %2") french_format.kif 190-190 synonymous external concept and subsuming external concept are disjoint
(format ItalianLanguage subsumingExternalConcept "il concetto di %1 nella lingua %3 sussume il concetto di %2") relations-it.txt 284-284 synonymous external concept and subsuming external concept are disjoint
(format JapaneseLanguage subsumingExternalConcept "言語 %3 の %1の概念は %2 の概念に subsume%p{s} %n{ない}") japanese_format.kif 2010-2010 synonymous external concept and subsuming external concept are disjoint
(format PortugueseLanguage subsumingExternalConcept "o conceito de %1 na linguagem %3 %n{nao} engloba %n o conceito de %2") portuguese_format.kif 142-142 synonymous external concept and subsuming external concept are disjoint
(format de subsumingExternalConcept "das Konzept von %1 in Sprache %3 fasst das Konzept %2 zusammen") relations-de.txt 442-442 synonymous external concept and subsuming external concept are disjoint
(format hi subsumingExternalConcept "%3 bhaashhaa men %1 kii sankalpanaa %2 kii sankalpanaa ko samaavishhTa karatii hai") relations-hindi.txt 321-321 synonymous external concept and subsuming external concept are disjoint
(format ro subsumingExternalConcept "înþelesul %1 în limba %3 %n{nu} subsume%t{subsumeazã} înþelesul %2") relations-ro.kif 210-210 synonymous external concept and subsuming external concept are disjoint
(format sv subsumingExternalConcept "konceptet %1 i språket %3 inordnar %n{inte} konceptet %2") relations-sv.txt 201-201 synonymous external concept and subsuming external concept are disjoint
(format tg subsumingExternalConcept "ang kuru-kuro ng %1 sa wika %3 nasaklaw ang kuru-kuro ng %2") relations-tg.txt 476-476 synonymous external concept and subsuming external concept are disjoint
(termFormat ChineseLanguage subsumingExternalConcept "包含外在概念") domainEnglishFormat.kif 55870-55870 synonymous external concept and subsuming external concept are disjoint
(termFormat ChineseLanguage subsumingExternalConcept "包含外部的概念") chinese_format.kif 337-337 synonymous external concept and subsuming external concept are disjoint
(termFormat ChineseTraditionalLanguage subsumingExternalConcept "包含外在概念") domainEnglishFormat.kif 55869-55869 synonymous external concept and subsuming external concept are disjoint
(termFormat EnglishLanguage subsumingExternalConcept "subsuming external concept") domainEnglishFormat.kif 55868-55868 synonymous external concept and subsuming 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