Class

-------------------------


(domain totalOrderingOn 2 Class) Merge.kif 3588-3588
(domain trichotomizingOn 2 Class) Merge.kif 3610-3610
(domainSubclass rangeSubclass 2 Class) Merge.kif 333-333
(partition SetOrClass Set Class) Merge.kif 2069-2069


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