SetOrClass

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


(domain memberType 2 SetOrClass) Mid-level-ontology.kif 20537-20537 domain memberType, 2 and SetOrClass
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 20551-20551 domain memberTypeCount, 2 and SetOrClass
(domain partialOrderingOn 2 SetOrClass) Merge.kif 3486-3486 domain partialOrderingOn, 2 and SetOrClass
(domain range 2 SetOrClass) Merge.kif 305-305 domain range, 2 and SetOrClass
(domain reflexiveOn 2 SetOrClass) Merge.kif 3449-3449 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 8424-8424 domain successorClass, 1 and SetOrClass
(domain successorClass 2 SetOrClass) Merge.kif 8425-8425 domain successorClass, 2 and SetOrClass
(domain totalOrderingOn 2 SetOrClass) Merge.kif 3503-3503 domain totalOrderingOn, 2 and SetOrClass
(domain trichotomizingOn 2 SetOrClass) Merge.kif 3519-3519 domain trichotomizingOn, 2 and SetOrClass
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5168-5168 domainSubclass GeneralizedIntersectionFn, 1 and SetOrClass
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5157-5157 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners