Class: Disjoint_Union
http://cui.unige.ch/isi/onto/tok/TOK.owl#Disjoint_Union
Annotations (2)
pl
"Disjoint_Unions"
sg
"Disjoint_Union"
Superclasses (1)
Class_Axiom
Usage (1)
Class
:
Disjoint_Union
OWL HTML inside