SetOrClass

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


(domain memberType 2 SetOrClass) Mid-level-ontology.kif 20562-20562 domain memberType, 2 and SetOrClass
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 20576-20576 domain memberTypeCount, 2 and SetOrClass
(domain partialOrderingOn 2 SetOrClass) Merge.kif 3517-3517 domain partialOrderingOn, 2 and SetOrClass
(domain range 2 SetOrClass) Merge.kif 305-305 domain range, 2 and SetOrClass
(domain reflexiveOn 2 SetOrClass) Merge.kif 3480-3480 domain reflexiveOn, 2 and SetOrClass
(domain subclass 1 SetOrClass) Merge.kif 130-130 domain subclass, 1 and SetOrClass
(domain subclass 2 SetOrClass) Merge.kif 131-131 domain subclass, 2 and SetOrClass
(domain successorClass 1 SetOrClass) Merge.kif 8457-8457 domain successorClass, 1 and SetOrClass
(domain successorClass 2 SetOrClass) Merge.kif 8458-8458 domain successorClass, 2 and SetOrClass
(domain totalOrderingOn 2 SetOrClass) Merge.kif 3534-3534 domain totalOrderingOn, 2 and SetOrClass
(domain trichotomizingOn 2 SetOrClass) Merge.kif 3550-3550 domain trichotomizingOn, 2 and SetOrClass
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5209-5209 domainSubclass GeneralizedIntersectionFn, 1 and SetOrClass
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5198-5198 domainSubclass GeneralizedUnionFn, 1 and SetOrClass
(domainSubclass rangeSubclass 2 SetOrClass) Merge.kif 333-333 domainSubclass rangeSubclass, 2 and SetOrClass


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