SetOrClass(set or class)

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


(domain memberType 2 SetOrClass) Mid-level-ontology.kif 20537-20537 The number 2 argument of member type is an instance of set or class
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 20551-20551 The number 2 argument of member type count is an instance of set or class
(domain partialOrderingOn 2 SetOrClass) Merge.kif 3486-3486 The number 2 argument of partial ordering on is an instance of set or class
(domain range 2 SetOrClass) Merge.kif 305-305 The number 2 argument of range is an instance of set or class
(domain reflexiveOn 2 SetOrClass) Merge.kif 3449-3449 The number 2 argument of reflexive on is an instance of set or class
(domain subclass 1 SetOrClass) Merge.kif 130-130 The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass) Merge.kif 131-131 The number 2 argument of subclass is an instance of set or class
(domain successorClass 1 SetOrClass) Merge.kif 8424-8424 The number 1 argument of successorClass is an instance of set or class
(domain successorClass 2 SetOrClass) Merge.kif 8425-8425 The number 2 argument of successorClass is an instance of set or class
(domain totalOrderingOn 2 SetOrClass) Merge.kif 3503-3503 The number 2 argument of total ordering on is an instance of set or class
(domain trichotomizingOn 2 SetOrClass) Merge.kif 3519-3519 The number 2 argument of trichotomizing on is an instance of set or class
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5168-5168 The number 1 argument of generalized intersection is a subclass of set or class
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5157-5157 The number 1 argument of generalized union is a subclass of set or class
(domainSubclass rangeSubclass 2 SetOrClass) Merge.kif 333-333 The number 2 argument of range subclass is a subclass of set or class


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