http://purl.org/iserve/ontology/owlstc/SUMO.owltrichotomizingOn

used by 0: