| appearance as argument number 1 |
|
| (disjointRelation subsumedExternalConcept subsumingExternalConcept) | Merge.kif 643-643 | |
| (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 | |
| (domain subsumedExternalConcept 2 Entity) | Merge.kif 664-664 | |
| (domain subsumedExternalConcept 3 Language) | Merge.kif 665-665 | |
| (instance subsumedExternalConcept TernaryPredicate) | Merge.kif 662-662 | |
| (subrelation subsumedExternalConcept relatedExternalConcept) | Merge.kif 661-661 |
| appearance as argument number 2 |
|
|
| (disjointRelation synonymousExternalConcept subsumedExternalConcept) | Merge.kif 641-641 | |
| (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 55814-55814 | |
| (termFormat ChineseLanguage subsumedExternalConcept "纳入外部的概念") | chinese_format.kif 334-334 | |
| (termFormat ChineseTraditionalLanguage subsumedExternalConcept "包含外部概念") | domainEnglishFormat.kif 55813-55813 | |
| (termFormat EnglishLanguage subsumedExternalConcept "subsumed external concept") | domainEnglishFormat.kif 55812-55812 |
|
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