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 645-648
(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 650-650 subsumingExternalConcept の数値 1 引数は 記号文字列 の instance では
(domain subsumingExternalConcept 2 Entity) Merge.kif 651-651 subsumingExternalConcept の数値 2 引数は エンティティー の instance では
(domain subsumingExternalConcept 3 Language) Merge.kif 652-652 subsumingExternalConcept の数値 3 引数は 言語 の instance では
(instance subsumingExternalConcept TernaryPredicate) Merge.kif 643-643 subsumingExternalConcept は 3進述語 の instance では
(subrelation subsumingExternalConcept relatedExternalConcept) Merge.kif 642-642 subsumingExternalConcept は relatedExternalConcept の subrelation では

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


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