| appearance as argument number 1 |
|
| (disjointRelation subsumedExternalConcept subsumingExternalConcept) | Merge.kif 636-636 | |
| (documentation subsumedExternalConcept ChineseLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 被纳入概念 ?STRING 在语言 ?LANGUAGE 的含义， 也就是说概念 ?THING 的含义比 ?STRING 要窄。") | chinese_format.kif 1530-1532 | |
| (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 660-663 | |
| (documentation subsumedExternalConcept JapaneseLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE)とはSUMO概念?THINGが?LANGUAGEの?STRINGに含まれる、という意味である。 例えば、?THINGの概念は?STRINGよりも意味が狭い。") | japanese_format.kif 95-97 | |
| (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 | |
| (domain subsumedExternalConcept 1 SymbolicString) | Merge.kif 656-656 | |
| (domain subsumedExternalConcept 2 Entity) | Merge.kif 657-657 | |
| (domain subsumedExternalConcept 3 Language) | Merge.kif 658-658 | |
| (instance subsumedExternalConcept TernaryPredicate) | Merge.kif 655-655 | |
| (subrelation subsumedExternalConcept relatedExternalConcept) | Merge.kif 654-654 |
| appearance as argument number 2 |
|
|
| (disjointRelation synonymousExternalConcept subsumedExternalConcept) | Merge.kif 634-634 | |
| (format ChineseLanguage subsumedExternalConcept "语言%3的%1概念的含义, %n包含了概念%2") | chinese_format.kif 333-333 | |
| (format EnglishLanguage subsumedExternalConcept "the concept of %1 in language %3 is %n subsumed by the concept of %2") | english_format.kif 338-338 | |
| (format FrenchLanguage subsumedExternalConcept "le concept de %1 dans le langage %3 est %n englob� par le concept de %2") | french_format.kif 189-189 | |
| (format ItalianLanguage subsumedExternalConcept "il concetto di %1 nella lingua %3 è sussunto dal concetto di%2") | relations-it.txt 281-281 | |
| (format JapaneseLanguage subsumedExternalConcept "言語 %3 の %1の概念は %2 の概念に subsumed %n") | japanese_format.kif 2009-2009 | |
| (format PortugueseLanguage subsumedExternalConcept "o conceito de %1 na linguagem %3 e' %n subsumido pelo conceito de %2") | portuguese_format.kif 141-141 | |
| (format de subsumedExternalConcept "das Konzept von %1 in Sprache %3 ist von dem Konzept %2 zusammengefasst") | relations-de.txt 439-439 | |
| (format hi subsumedExternalConcept "%3 bhaashhaa men %1 kii sankalpanaa %2 kii sankalpanaa ke dvaaraa samaavishhTa hai") | relations-hindi.txt 318-318 | |
| (format ro subsumedExternalConcept "înþelesul %1 în limba %3 %n{nu} este subsumed%t{subsumat} de înþelesul %2") | relations-ro.kif 209-209 | |
| (format sv subsumedExternalConcept "konceptet %1 i språket %3 är %n{inte} inordnat i konceptet %2") | relations-sv.txt 200-200 | |
| (format tg subsumedExternalConcept "ang kuru-kuro ng %1 sa wika %3 ay nasaklaw ang kuru-kuro ng %2") | relations-tg.txt 473-473 | |
| (termFormat ChineseLanguage subsumedExternalConcept "包含外部概念") | domainEnglishFormat.kif 55845-55845 | |
| (termFormat ChineseLanguage subsumedExternalConcept "纳入外部的概念") | chinese_format.kif 334-334 | |
| (termFormat ChineseTraditionalLanguage subsumedExternalConcept "包含外部概念") | domainEnglishFormat.kif 55844-55844 | |
| (termFormat EnglishLanguage subsumedExternalConcept "subsumed external concept") | domainEnglishFormat.kif 55843-55843 | |
| (termFormat de subsumedExternalConcept "zusammengefasstesVerwandtesAeusserkonzept") | terms-de.txt 140-140 |
|
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