| appearance as argument number 1 |
|
| (disjointRelation subsumedExternalConcept subsumingExternalConcept) | Merge.kif 643-643 | 纳入外部的概念 和 包含外部的概念 是 disjoint 关系 |
| (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 667-670 | |
| (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 663-663 | 纳入外部的概念 的 1 数量 是 符号串 的 instance |
| (domain subsumedExternalConcept 2 Entity) | Merge.kif 664-664 | 纳入外部的概念 的 2 数量 是 实体 的 instance |
| (domain subsumedExternalConcept 3 Language) | Merge.kif 665-665 | 纳入外部的概念 的 3 数量 是 语言 的 instance |
| (instance subsumedExternalConcept TernaryPredicate) | Merge.kif 662-662 | 纳入外部的概念 是 三元谓语 的 instance |
| (subrelation subsumedExternalConcept relatedExternalConcept) | Merge.kif 661-661 | 纳入外部的概念 是 外部相关的概念 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation synonymousExternalConcept subsumedExternalConcept) | Merge.kif 641-641 | 和外部意义相同的概念 和 纳入外部的概念 是 disjoint 关系 |
| (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 55812-55812 | |
| (termFormat ChineseLanguage subsumedExternalConcept "纳入外部的概念") | chinese_format.kif 334-334 | |
| (termFormat ChineseTraditionalLanguage subsumedExternalConcept "包含外部概念") | domainEnglishFormat.kif 55811-55811 | |
| (termFormat EnglishLanguage subsumedExternalConcept "subsumed external concept") | domainEnglishFormat.kif 55810-55810 |
|
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