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
(domain subsumingExternalConcept 2 Entity) Merge.kif 658-658
(domain subsumingExternalConcept 3 Language) Merge.kif 659-659
(instance subsumingExternalConcept TernaryPredicate) Merge.kif 650-650
(subrelation subsumingExternalConcept relatedExternalConcept) Merge.kif 649-649

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


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


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