| 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 630-633 | |
| (instance subsumingExternalConcept TernaryPredicate) | Merge.kif 628-628 | instance subsumingExternalConcept and TernaryPredicate |
| (subrelation subsumingExternalConcept relatedExternalConcept) | Merge.kif 627-627 | subrelation subsumingExternalConcept and relatedExternalConcept |
| appearance as argument number 2 |
|
|
| (disjointRelation subsumedExternalConcept subsumingExternalConcept) | Merge.kif 621-621 | disjointRelation subsumedExternalConcept and subsumingExternalConcept |
| (disjointRelation synonymousExternalConcept subsumingExternalConcept) | Merge.kif 620-620 | disjointRelation synonymousExternalConcept and subsumingExternalConcept |
| (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 343-343 | |
| (termFormat ChineseLanguage subsumingExternalConcept "包含外在概念") | domainEnglishFormat.kif 55723-55723 | |
| (termFormat ChineseLanguage subsumingExternalConcept "包含外部的概念") | chinese_format.kif 337-337 | |
| (termFormat ChineseTraditionalLanguage subsumingExternalConcept "包含外在概念") | domainEnglishFormat.kif 55722-55722 | |
| (termFormat EnglishLanguage subsumingExternalConcept "subsuming external concept") | domainEnglishFormat.kif 55721-55721 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners