(subrelation pathInSystem part)	Transportation.kif 3322-3322	path in system is a subrelation of part
(subrelation physicalEnd part)	Merge.kif 18149-18149	physical end is a subrelation of part
(subrelation piece part)	Merge.kif 959-959	piece is a subrelation of part
(subrelation properPart part)	Merge.kif 936-936	proper part is a subrelation of part
(subrelation quarter part)	Mid-level-ontology.kif 14532-14532	quarter is a subrelation of part
(subrelation subString part)	Mid-level-ontology.kif 26051-26051	sub string is a subrelation of part
(subrelation third part)	Mid-level-ontology.kif 14512-14512	third is a subrelation of part
(termFormat ChineseLanguage part "部分")	chinese_format.kif 162-162	third is a subrelation of part
(termFormat ChineseTraditionalLanguage part "部分")	domainEnglishFormat.kif 44520-44520	third is a subrelation of part
(termFormat EnglishLanguage part "part")	domainEnglishFormat.kif 44519-44519	third is a subrelation of part
(termFormat de part "teil")	terms-de.txt 61-61	third is a subrelation of part

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