| appearance as argument number 2 |
|
| (format ChineseLanguage havePartTypes "%1 有 种类 %2 的 parts ") | domainEnglishFormat.kif 3616-3616 | |
| (format ChineseTraditionalLanguage havePartTypes "%1 有 種類 %2 的 parts ") | domainEnglishFormat.kif 3615-3615 | |
| (format EnglishLanguage havePartTypes "%1 has parts of type %2") | domainEnglishFormat.kif 3614-3614 | |
| (termFormat EnglishLanguage havePartTypes "have part types") | domainEnglishFormat.kif 65886-65886 |
|
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