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 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 55744-55744
(termFormat ChineseLanguage subsumingExternalConcept "包含外部的概念") chinese_format.kif 337-337
(termFormat ChineseTraditionalLanguage subsumingExternalConcept "包含外在概念") domainEnglishFormat.kif 55743-55743
(termFormat EnglishLanguage subsumingExternalConcept "subsuming external concept") domainEnglishFormat.kif 55742-55742


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