| appearance as argument number 1 |
|
| (disjointRelation synonymousExternalConcept subsumedExternalConcept) | Merge.kif 619-619 | disjointRelation synonymousExternalConcept and subsumedExternalConcept |
| (disjointRelation synonymousExternalConcept subsumingExternalConcept) | Merge.kif 620-620 | disjointRelation synonymousExternalConcept and subsumingExternalConcept |
| (documentation synonymousExternalConcept ChineseLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 和概念 ?STRING 在语言 ?LANGUAGE 的含义是相同 的。") | chinese_format.kif 1524-1526 | |
| (documentation synonymousExternalConcept EnglishLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE.") | Merge.kif 623-625 | |
| (instance synonymousExternalConcept TernaryPredicate) | Merge.kif 618-618 | instance synonymousExternalConcept and TernaryPredicate |
| (subrelation synonymousExternalConcept relatedExternalConcept) | Merge.kif 617-617 | subrelation synonymousExternalConcept and relatedExternalConcept |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage synonymousExternalConcept "概念%1在%3语言， %n 和概念%2的意义相同") | chinese_format.kif 338-338 | |
| (format EnglishLanguage synonymousExternalConcept "the concept of %1 in language %3 is %n synonymous with the concept of %2") | english_format.kif 345-345 | |
| (termFormat ChineseLanguage synonymousExternalConcept "同义外部概念") | domainEnglishFormat.kif 56498-56498 | |
| (termFormat ChineseLanguage synonymousExternalConcept "和外部意义相同的概念") | chinese_format.kif 339-339 | |
| (termFormat ChineseTraditionalLanguage synonymousExternalConcept "同義外部概念") | domainEnglishFormat.kif 56497-56497 | |
| (termFormat EnglishLanguage synonymousExternalConcept "synonymous external concept") | domainEnglishFormat.kif 56496-56496 |
| appearance as argument number 0 |
|
|
|
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