Class(class)

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


(domain successorClass 1 Class) Merge.kif 9013-9013 The number 1 argument of successor class is an instance of class
(domain successorClass 2 Class) Merge.kif 9014-9014 The number 2 argument of successor class is an instance of class
(domain total 1 Class) UXExperimentalTerms.kif 4531-4531 The number 1 argument of total is an instance of class
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1214-1214 The number 2 argument of total facility type in area is an instance of class
(domain totalOrderingOn 2 Class) Merge.kif 3660-3660 The number 2 argument of total ordering on is an instance of class
(domain trichotomizingOn 2 Class) Merge.kif 3682-3682 The number 2 argument of trichotomizing on is an instance of class
(domainSubclass rangeSubclass 2 Class) Merge.kif 335-335 The number 2 argument of range subclass is a subclass of class
(partition SetOrClass Set Class) Merge.kif 2129-2129 Set or class is exhaustively partitioned into set and class


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