Class

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


(domain total 1 Class) UXExperimentalTerms.kif 4732-4732
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1214-1214
(domain totalOrderingOn 2 Class) Merge.kif 3544-3544
(domain trichotomizingOn 2 Class) Merge.kif 3560-3560
(domainSubclass rangeSubclass 2 Class) Merge.kif 333-333
(partition SetOrClass Set Class) Merge.kif 2041-2041


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